Skip to content
GitLab
Explore
Sign in
GNOME
GNOME Contacts
Merge requests
!78
window: Remove unused header_group field
Code
Review changes
Check out branch
Download
Patches
Plain diff
Niels De Graef
requested to merge
wip/nielsdg/headergroup-warning
into
master
Jun 01, 2019
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
This was giving an annoying warning.
Merge request reports