Skip to content
GitLab
Explore
Sign in
GNOME
Files
Merge requests
The source project of this merge request has been removed.
Floating status bar double border removed.
Utkarsh Gandhi
requested to merge
(removed):double_border
into
master
Feb 19, 2022
Can't show this merge request because the fork project was deleted.