On Mon, 14 Dec 2020 17:26:28 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: >> Looks good. >> Lois > >> Looks good. >> Lois > > Thank you Lois! Gentle ping. May I have another review please? ------------- PR: https://git.openjdk.java.net/jdk/pull/1763