Skip to content
GitLab
Explore
Sign in
Teams
Websites
apps.gnome.org
Merge requests
!2
The source project of this merge request has been removed.
Trivial fixes
Alexandre Franke
requested to merge
(removed):main
into
main
Aug 06, 2021
Overview
1
Pipelines
0
Changes
3
Expand
Just a few things I noticed.
Merge request reports