Hi, I'd like to push the patch in https://bugzilla.gnome.org/show_bug.cgi?id=711536 .
It's trivial but adds a new switch button and a translatable string. Thanks, Rui _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
