On 10/12/15, Gergely Polonkai <[email protected]> wrote: > If I were you, I would submit this as a patch for GTK Doc via > bugzilla.gnome.org. I expect replies pretty soon :)
Done, I just forgot to notify the list! https://bugzilla.gnome.org/show_bug.cgi?id=756297 Sam _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
