Looks good.
Cheers, Mikael > On Dec 17, 2019, at 4:24 AM, John Paul Adrian Glaubitz > <glaub...@physik.fu-berlin.de> wrote: > > Hi! > > On 12/16/19 10:08 PM, John Paul Adrian Glaubitz wrote: >> On 12/16/19 10:08 PM, Mikael Vidstedt wrote: >>> >>> I’m not actually sure, but just to be on the safe side I’d prefer to add >>> the grouping. >> >> Okay, will do. > > Updated revision here: > >> http://cr.openjdk.java.net/~glaubitz/8235960/webrev.01/ > > Adrian > > -- > .''`. John Paul Adrian Glaubitz > : :' : Debian Developer - glaub...@debian.org > `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de > `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
