[webkit-reviews] review canceled: [Bug 111717] Web Inspector: [CodeMirror] set indentation size according to devtools settings : [Attachment 191982] Patch

[bugzilla-daemon at webkit.org]

WebKit Review Bot <webkit.review.bot at gmail.com> has canceled  review:
Bug 111717: Web Inspector: [CodeMirror] set indentation size according to
devtools settings
https://bugs.webkit.org/show_bug.cgi?id=111717

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