On Sun, Sep 24 2023 at 10:49:16 AM -0500, Douglas R. Reno
<[email protected]> wrote:
Looking at this, I was wondering if we should patch it locally, or if
there's going to be a new release of WebKit soon to fix this problem.
Building WebKit takes a long time for us, so we'd prefer to not
duplicate work if there's a new one coming in the next day or two.
Hi, there will indeed be a new release later this week.
Michael
_______________________________________________
webkit-gtk mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-gtk
