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

Reply via email to