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 Thanks for noticing this and for cleaning up. Unfortunately the GitHub Actions are often broken spuriously, but this time it was a real issue. :-( ------------- PR: https://git.openjdk.org/jdk/pull/10520
