[Webkit-unassigned] [Bug 135811] Add Private WKPreferences API for developer extras (show inspector)
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Mon Aug 11 13:08:01 PDT 2014
https://bugs.webkit.org/show_bug.cgi?id=135811
WebKit Commit Bot <commit-queue at webkit.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #3 from WebKit Commit Bot <commit-queue at webkit.org> 2014-08-11 13:08:11 PST ---
All reviewed patches have been landed. Closing bug.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list