[Webkit-unassigned] [Bug 91239] Uses gtk-doc tools even when --disable-gtk-doc passed

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=91239


Carlos Garcia Campos <cgarcia at igalia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gns at gnome.org,
                   |                            |mrobinson at webkit.org




-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.