On Thu, 6 Feb 2020 19:31:25 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
>> Fix contains https://webkitgtk.org/2020/01/22/webkitgtk2.26.3-released.html > > Marked as reviewed by kcr (Lead). As part of the review, I did a sanity build / test on all three platforms. All looks good. ------------- PR: https://git.openjdk.java.net/jfx/pull/107