[webkit-reviews] review granted: [Bug 117992] gdb: Remove the webcore.py pretty printer. : [Attachment 205403] Patch

[bugzilla-daemon at webkit.org]

jochen at chromium.org has granted Raphael Kubo da Costa (rakuco, Intel)
<rakuco at webkit.org>'s request for review:
Bug 117992: gdb: Remove the webcore.py pretty printer.
https://bugs.webkit.org/show_bug.cgi?id=117992

Attachment 205403: Patch
https://bugs.webkit.org/attachment.cgi?id=205403&action=review

------- Additional Comments from jochen at chromium.org
ok