It's getting kinda late in the cycle for changes like this, but it doesn't look like too much code. I'll give +1 of 2 release team.
Michael _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
