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

[bugzilla-daemon at webkit.org]

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





--- Comment #3 from Ryosuke Niwa <rniwa at webkit.org>  2013-11-20 16:25:02 PST ---
(In reply to comment #2)
> 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.

It's actually broken in some unknown ways :(

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