Revisions of gtk-doc
Update to 1.20 Staging suggested. I know of at least one package that failed with this update (gstreamer-plugins-good, already fixed)
Push GNOME 3.9.3, as announced
Update after libxml2-tools split
Pushing G:F (including GNOME3)
Copy from GNOME:Factory/gtk-doc based on submit request 45093 from user vuntz
Copy from GNOME:Factory/gtk-doc based on submit request 36343 from user vuntz
Copy from GNOME:Factory/gtk-doc based on submit request 27839 from user vuntz
Displaying revisions 21 - 40 of 47