Patches are at: https://bugzilla.gnome.org/show_bug.cgi?id=684490
Matthias marked it as a blocker, and so it is fixed. _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
