On Mon, 2011-09-12 at 16:56 +0100, Phil Bull wrote: > This is a superficial change as far as the docs are concerned. Please go > ahead and make the change.
Thanks, I pushed this change to git master now. Cosimo _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
