Integrated: 8255758: JEP 380 spec clarifications

Tue Nov 17 12:15:08 UTC 2020

On Mon, 2 Nov 2020 22:04:56 GMT, Michael McMahon <michaelm at openjdk.org> wrote:

> Minor spec changes from spec approved in initial CSR

This pull request has now been integrated.

Changeset: 9d0ee66f
Author:    Michael McMahon <michaelm at 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