On Mon, 13 Mar 2023 23:26:14 GMT, Kevin Rushforth <[email protected]> wrote:
> Clean backport to `jfx20u`. Tested in connection with all other WebKit > backports in `jfx-20.0.1` branch. This pull request has now been integrated. Changeset: e43e56bc Author: Kevin Rushforth <[email protected]> URL: https://git.openjdk.org/jfx20u/commit/e43e56bc0e3dd3d7aedd87b45131157faa043939 Stats: 7 lines in 1 file changed: 6 ins; 0 del; 1 mod 8301712: [linux] Crash on exit from WebKit 615.1 Backport-of: 13d8df31e7bc4336d01ec859e127756928db30d4 ------------- PR: https://git.openjdk.org/jfx20u/pull/4
