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 _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n