[webkit-reviews] review granted: [Bug 92990] Web Inspector: Rename 'User agent' to 'Overrides' in settings screen : [Attachment 156132] Patch

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has granted Addy Osmani
<addyo at chromium.org>'s request for review:
Bug 92990: Web Inspector: Rename 'User agent' to 'Overrides' in settings screen
https://bugs.webkit.org/show_bug.cgi?id=92990

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