Skip to content
Snippets Groups Projects

gnome-tweaks: rename gnome-tweak-tool for source name on aramo.

Merged gnome-tweaks: rename gnome-tweak-tool for source name on aramo.
Ark74/package-helpers:rename_gnome-tweaks_11.0 into aramo
Merged Luis Guzmán requested to merge Ark74/package-helpers:rename_gnome-tweaks_11.0 into aramo

Merge request reports

Merged by Luis GuzmánLuis Guzmán 2 years ago (Jun 11, 2022 9:08pm UTC)

Merge details

  • Changes merged into aramo with a9472f22 (commits were squashed).
  • Did not delete the source branch.

Pipeline #551 passed

Stage: external

    Pipeline passed for a9472f22 on aramo

    Activity

    Filter activity
    • Approvals
    • Assignees & reviewers
    • Comments (from bots)
    • Comments (from users)
    • Commits & branches
    • Edits
    • Labels
    • Lock status
    • Mentions
    • Merge request status
    • Tracking
    Please register or sign in to reply