[Webkit-unassigned] [Bug 18920] Crash searching in Resources Web Inspector

Sun Apr 18 23:58:20 PDT 2010

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

--- Comment #4 from Juan Falgueras <juanfc at uma.es>  2010-04-18 23:58:20 PST ---
(In reply to comment #3)
> This is an old crash and a considerable amount of code surrounding searching
> has been changed. Juan, have you come across this at all recently? Otherwise I
> recommend this be closed.

I agree, since the bug seems already vanished.

Thanks.

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