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+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Dirk Pranke
Comment 1 2012-07-12 14:03:28 PDT
Created attachment 152051 [details] Patch
Dirk Pranke
Comment 2 2012-07-12 14:55:49 PDT
Committed r122513: <http://trac.webkit.org/changeset/122513>
Note You need to log in before you can comment on or make changes to this bug.