On Wed, 31 Mar 2021 21:43:58 GMT, Mandy Chung <mch...@openjdk.org> wrote:
>> Daniel Fuchs has updated the pull request incrementally with two additional >> commits since the last revision: >> >> - minor style issue >> - minor style issue > > Thanks for making the change. The spec change looks good to me. @mlchung @AlanBateman @ChrisHegarty would you formally approve the fix? The CSR has been approved. ------------- PR: https://git.openjdk.java.net/jdk/pull/3201
