On Thu, 2019-08-22 at 17:59 +0100, Andrew Leonard wrote: > Hi Severin, > I've put a jcheck'd hg export patch here: > http://cr.openjdk.java.net/~aleonard/8217896/jdk-8217896.patch Thanks, pushed: http://hg.openjdk.java.net/jdk8u/jdk8u-dev/rev/2cd484c5b7f8 Cheers, Severin