Ubuntu
openjdk-7 package

  1. Bug #1266004
  2. Comment #77

Comment 77 for bug 1266004

Revision history for this message
In , Kaloyan Raev (kaloyan-r) wrote :

(In reply to Marc-Andre Laperle from comment #68)
> So far, everything as led me to believe that this particular crash has been
> fixed in webkit and Ubuntu will get an updated version in Ubuntu 14.04. I
> have applied the fix locally on my 13.10 and haven't seen the crash since. I
> would attach the .deb files here but I don't think this would sit well with
> Eclipse policy since they are not EPL (?).

I believe you can just share the .deb files via dropbox or similar service. In the end, WebKitGTK is an open source project and redistribution is allowed.

Could you explain in more details about the fix you applied? Is this an official newer version of WebKitGTK? Or you patched the one in Ubuntu 13.04 and rebuilt it?