On Tue, 17 Nov 2020 11:53:14 GMT, Michael McMahon <micha...@openjdk.org> wrote:
>> Minor spec changes from spec approved in initial CSR > > Michael McMahon has updated the pull request incrementally with two > additional commits since the last revision: > > - update from Alan's comment Nov 17 > - minor change suggested by Daniel Marked as reviewed by alanb (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/1021