RESOLVED FIXED 91145
webkitpy: rename manager_worker_broker to message_pool
https://bugs.webkit.org/show_bug.cgi?id=91145
Summary webkitpy: rename manager_worker_broker to message_pool
Dirk Pranke
Reported 2012-07-12 13:55:21 PDT
webkitpy: rename manager_worker_broker to message_pool
Attachments
Patch (27.73 KB, patch)
2012-07-12 14:03 PDT, Dirk Pranke
ojan: review+
Dirk Pranke
Comment 1 2012-07-12 14:03:28 PDT
Dirk Pranke
Comment 2 2012-07-12 14:55:49 PDT
Note You need to log in before you can comment on or make changes to this bug.