On Mon, 13 Nov 2023 10:08:20 GMT, Tagir F. Valeev <tval...@openjdk.org> wrote:
>> Viktor Klang has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Minor improvements to Gatherer Javadoc > > Marked as reviewed by tvaleev (Committer). @amaembo, @AlanBateman, @dfuch, @PaulSandoz This is now ready for sponsorship :) ------------- PR Comment: https://git.openjdk.org/jdk/pull/16420#issuecomment-1833446181