On Fri, 6 Oct 2023 08:32:28 GMT, Martin Stypinski <d...@openjdk.org> wrote:
>> Martin Stypinski has updated the pull request incrementally with two >> additional commits since the last revision: >> >> - changed for consistency >> - improved some RandomGenerator & unuseed Imports > > fixed typo. @Styp Thanks, the next step would be for you to flag this PR as ready for integration by typing /integrate in a new github comment and submit. (Afterwards, your sponsor types /sponsor in a new comment to perform the integration). ------------- PR Comment: https://git.openjdk.org/jdk/pull/15338#issuecomment-1751012629