[webkit-reviews] review granted: [Bug 89135] webkitpy: remove DummyOptions and clean up the code in Port.get_option() and Port.set_option_default() : [Attachment 147667] Patch

[bugzilla-daemon at webkit.org]

Ryosuke Niwa <rniwa at webkit.org> has granted Dirk Pranke
<dpranke at chromium.org>'s request for review:
Bug 89135: webkitpy: remove DummyOptions and clean up the code in
Port.get_option() and Port.set_option_default()
https://bugs.webkit.org/show_bug.cgi?id=89135

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