The branch 'gnome-3-30' was created pointing to: a1d6c7b... Merge branch 'profile-special-chars' into 'master'
_______________________________________________ gnome-doc-list mailing list gnome-doc-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-doc-list