Bug 91145

Summary: webkitpy: rename manager_worker_broker to message_pool
Product: WebKit Reporter: Dirk Pranke <dpranke>
Component: New BugsAssignee: Dirk Pranke <dpranke>
Status: RESOLVED FIXED    
Severity: Normal CC: abarth, eric, ojan, tony, webkit.review.bot
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch ojan: review+

Description Dirk Pranke 2012-07-12 13:55:21 PDT 
webkitpy: rename manager_worker_broker to message_pool
Comment 1 Dirk Pranke 2012-07-12 14:03:28 PDT 
Created attachment 152051 [details]
Patch
Comment 2 Dirk Pranke 2012-07-12 14:55:49 PDT 
Committed r122513: <http://trac.webkit.org/changeset/122513>