On 2020-04-28 13:47, John Paul Adrian Glaubitz wrote: > Hello! > > Please review this small change which fixes the build on Linux which > broke on some systems after JDK-8242244. > > Thanks, > Adrian > >> [1] http://cr.openjdk.java.net/~glaubitz/8243997/webrev.00/ Looks good and trivial to me. /Magnus