On Wed, May 9, 2012 at 11:38 PM, Martin Robinson <[email protected]>wrote:
> On Wed, May 9, 2012 at 11:22 AM, Eric Gregory <[email protected]> wrote: > > Is anyone else seeing this? Is there a workaround, or should I file a > new > > ticket? > > I see this issue as well. I think it's a good idea to open a bug. > > --Martin > Sounds good -- just filed it here: https://bugs.webkit.org/show_bug.cgi?id=86118 - Eric
_______________________________________________ webkit-gtk mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-gtk
