Skip to content
GitLab
Explore
Sign in
GNOME
GNOME Boxes
Merge requests
!200
media-manager: Don't enumerate unexisting installer medias
Code
Review changes
Check out branch
Download
Patches
Plain diff
Felipe Borges
requested to merge
dont-enumerate-unexisting-installer-medias
into
master
Aug 27, 2019
Overview
0
Commits
1
Pipelines
5
Changes
1
Expand
Fixes
#399 (closed)
Merge request reports