On Sat, 21 Jan 2023 19:38:16 GMT, Sergey Bylokhov <s...@openjdk.org> wrote:
>> Tagir F. Valeev has updated the pull request incrementally with two >> additional commits since the last revision: >> >> - Whitespaces fixed >> - @implSpec added to shuffle(List) > > Filed, will create a PR soon. > https://bugs.openjdk.org/browse/JDK-8300817 @mrserb Oops, sorry, was too eager to integrate :( I see your PR. No action from my side is required, right? ------------- PR: https://git.openjdk.org/jdk/pull/10520
