Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Merge requests
!38
The source project of this merge request has been removed.
Remove old Bugzilla metainfo and script
Jordi Mas
requested to merge
(removed):master
into
master
Apr 13, 2019
Overview
0
Pipelines
0
Changes
3
Expand
Merge request reports