On Mon, 14 Sep 2020 13:30:06 GMT, Lutz Schmidt <lucy at openjdk.org> wrote: >> Marked as reviewed by lucy (Reviewer). > > Hi Martin, > your changes look good to me. > Thanks for the tedious comments removal! Not a task you been for. > Best, > Lutz Thanks for the reviews. ------------- PR: https://git.openjdk.java.net/jdk/pull/127