[webkit-reviews] review canceled: [Bug 31575] Fix WebKit build when JAVASCRIPT_DEBUGGER is disabled : [Attachment 43377] Proposed fix

[bugzilla-daemon at webkit.org]

Mikhail Naganov <mnaganov at chromium.org> has canceled Mikhail Naganov
<mnaganov at chromium.org>'s request for review:
Bug 31575: Fix WebKit build when JAVASCRIPT_DEBUGGER is disabled
https://bugs.webkit.org/show_bug.cgi?id=31575

Attachment 43377: Proposed fix
https://bugs.webkit.org/attachment.cgi?id=43377&action=review

------- Additional Comments from Mikhail Naganov <mnaganov at chromium.org>
Thanks, Dimich! That's really an easier way, and it works with Chromium.

Laszlo, can I ask you to test this patch, please? If it works for you, I'll
find someone to review and submit it.