[Webkit-unassigned] [Bug 111938] [GTK] Add webkit_web_page_get_id() to WebKit2 GTK+ API

[bugzilla-daemon at webkit.org]

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


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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




--- Comment #12 from Carlos Garcia Campos <cgarcia at igalia.com>  2013-04-17 00:37:32 PST ---
Committed r148592: <http://trac.webkit.org/changeset/148592>

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