[webkit-reviews] review granted: [Bug 91145] webkitpy: rename manager_worker_broker to message_pool : [Attachment 152051] Patch

[bugzilla-daemon at webkit.org]

Ojan Vafai <ojan at chromium.org> has granted Dirk Pranke <dpranke at chromium.org>'s
request for review:
Bug 91145: webkitpy: rename manager_worker_broker to message_pool
https://bugs.webkit.org/show_bug.cgi?id=91145

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