On Tue, 8 Dec 2020 17:52:34 GMT, Hai-May Chao <hc...@openjdk.org> wrote:
> This is a spec change with noreg-doc label. There is a "Title mismatch between PR and JBS" issue. I think it could be solved by use the same title/subject for the pull request and bug in JBS. ------------- PR: https://git.openjdk.java.net/jdk/pull/1701
