On Mon, 19 Oct 2020 14:58:22 GMT, Raffaello Giulietti <github.com+70726043+rgiulie...@openjdk.org> wrote:
>> This is a follow-up of the Mercurial-based workflow initiated on the >> core-lib-devs mailing list [0]. Not sure if this one is strictly necessary >> or if the patches sent on the list are sufficient. Anyway, I exploit this PR >> as a test ;-) >> >> [0] >> https://mail.openjdk.java.net/pipermail/core-libs-dev/2020-September/068474.html > > Raffaello Giulietti has updated the pull request incrementally with one > additional commit since the last revision: > > Modified copyright year. Seeing no more comments in the last couple of days, I think this can be integrated. ------------- Marked as reviewed by bpb (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/31