[Webkit-unassigned] [Bug 122333] Delete baseline optimizer

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=122333


Zan Dobersek <zandobersek at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |akling at apple.com,
                   |                            |zandobersek at gmail.com




--- Comment #2 from Zan Dobersek <zandobersek at gmail.com>  2013-11-20 08:44:54 PST ---
akling was using webkit-patch optimize-baselines lately, I think with success.

Is this really good to delete? I guess it's a bit bloat-y, but presumably it still works, and is used.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.