On Fri, 11 Sep 2020 21:31:30 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote: >> Agreed. > > Ok, that's good then! Thanks for confirmation. ------------- PR: https://git.openjdk.java.net/jdk/pull/135