Looks good.
Cheers, Mikael > On Dec 17, 2019, at 4:24 AM, John Paul Adrian Glaubitz > <[email protected]> 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 - [email protected] > `. `' Freie Universitaet Berlin - [email protected] > `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
