Skip to content
GitLab
Explore
Sign in
GNOME
gnome-software
Merge requests
!1919
Resolve "Two identical user installation options for org.gnome.Builder.Devel and no system installation option"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Milan Crha
requested to merge
2488-two-identical-user-installation-options-for-org-gnome-builder-devel-and-no-system-installation
into
main
Mar 22, 2024
Overview
3
Commits
2
Pipelines
1
Changes
2
Expand
Closes
#2488 (closed)
Merge request reports