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-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
