The branch 'gnome-3-20' was created. Summary of new commits:
90d0cb1... Simplify how we check if we disable header bars f0a43a7... Add Cinnamon to the list of desktops that don't use headerb cff9563... Move help translations to standard GNOME location _______________________________________________ release-team@gnome.org https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.