On Mon, 2 Nov 2020 22:04:56 GMT, Michael McMahon <micha...@openjdk.org> wrote:
> Minor spec changes from spec approved in initial CSR This pull request has now been integrated. Changeset: 9d0ee66f Author: Michael McMahon <micha...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/9d0ee66f Stats: 70 lines in 3 files changed: 64 ins; 0 del; 6 mod 8255758: JEP 380 spec clarifications Reviewed-by: dfuchs, alanb ------------- PR: https://git.openjdk.java.net/jdk/pull/1021
