On 1/3/19 11:24 AM, Severin Gehwolf wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8216058 > webrev: http://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8216058/webrev.01/ > > Testing: Failing VersionCheck.java prior the patch, passing after. > > Thoughts?
Yes, that looks like the obvious fix. Thanks. -- Andrew Haley Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
