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


_______________________________________________
[email protected]
http://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.

Reply via email to