WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
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+
Details
Formatted Diff
Diff
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.
Top of Page
Format For Printing
XML
Clone This Bug