On Tue, 20 Oct 2020 20:22:55 GMT, Doug Simon <dnsimon at openjdk.org> wrote: >> Good. > > Good. There was an extra blank line in the formatting which I just fixed. ------------- PR: https://git.openjdk.java.net/jdk/pull/768