[Webkit-unassigned] [Bug 135811] Add Private WKPreferences API for developer extras (show inspector)

[bugzilla-daemon at webkit.org]

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.