Skip to content
GitLab
Explore
Sign in
GNOME
gnome-maps
Merge requests
!383
Include labels for islands
Code
Review changes
Check out branch
Download
Patches
Plain diff
Marcus Lundblad
requested to merge
wip/mlundblad/island-labels
into
main
Feb 13, 2024
Overview
3
Commits
1
Pipelines
15
Changes
3
Expand
Include place labels for islands
Fixes
#635 (closed)
Edited
Feb 17, 2024
by
Marcus Lundblad
Merge request reports