[webkit-reviews] review granted: [Bug 157925] Web Inspector: CRASH when closing a page while element selection mode is enabled via Develop menu : [Attachment 279434] Proposed Fix

[bugzilla-daemon at webkit.org]

Joseph Pecoraro <joepeck at webkit.org> has granted Brian Burg <bburg at apple.com>'s
request for review:
Bug 157925: Web Inspector: CRASH when closing a page while element selection
mode is enabled via Develop menu
https://bugs.webkit.org/show_bug.cgi?id=157925

Attachment 279434: Proposed Fix

https://bugs.webkit.org/attachment.cgi?id=279434&action=review