On Mon, 9 Aug 2021 16:08:25 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: >> David Holmes has updated the pull request incrementally with one additional commit since the last revision: >> >> Fixed superfluous blank > > Thumbs up. Thanks @dcubed-ojdk ! ------------- PR: https://git.openjdk.java.net/jdk/pull/4986