On Wed, 9 Sep 2020 12:39:12 GMT, David Holmes <dholmes at openjdk.org> wrote: > Update is good. Thank you. As the update was trivial I'll go head and integrate. ------------- PR: https://git.openjdk.java.net/jdk/pull/53