[Webkit-unassigned] [Bug 123663] [GTK] Missing symbols in 2.3.1, ABI break?

[bugzilla-daemon at webkit.org]

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





--- Comment #7 from Emilio Pozuelo Monfort <pochu27 at gmail.com>  2013-11-03 15:31:16 PST ---
It looks like webkitdom.symbols is a superset of WebKitDOMCustom.symbols but is not autogenerated, perhaps WebKitDOMCustom.symbols is obsolete?

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