On Mon, 4 Jan 2021 15:16:35 GMT, Erik Joelsson <er...@openjdk.org> wrote:
>> Magnus Ihse Bursie has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Final bug fixes... > > Marked as reviewed by erikj (Reviewer). @erikj79 Actually, I had not done that. But it was a great idea. Now I have, and it looks good. :-) ------------- PR: https://git.openjdk.java.net/jdk/pull/1779
