Skip to content
GitLab
Explore
Sign in
Register
GNOME
gnome-shell
Merge requests
!61
The source project of this merge request has been removed.
Revert "dash: Use pin instead of favorites"
Gunnar Hjalmarsson
requested to merge
(removed):reverse-new-pin-labels
into
ubuntu/master
Apr 11, 2022
Overview
6
Pipelines
0
Changes
2
Expand
Merge request reports