[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





--- Comment #6 from Carlos Garcia Campos <cgarcia at igalia.com>  2013-04-15 00:46:34 PST ---
Ping owners, this is trivial patch.

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