On Fri, 14 Jul 2023 03:27:07 GMT, Chris Hennick <d...@openjdk.org> wrote:

>> Chris Hennick has updated the pull request with a new target base due to a 
>> merge or a rebase. The pull request now contains 20 commits:
>> 
>>  - Merge remote-tracking branch 'upstream/master' into patch-1
>>  - Merge remote-tracking branch 'origin/patch-1' into patch-1
>>  - Merge branch 'master' of https://git.openjdk.org/jdk into patch-1
>>  - Merge branch 'master' of https://git.openjdk.org/jdk into patch-1
>>  - Merge branch 'master' into patch-1
>>  - Update copyright date in RandomNext.java
>>  - Update copyright date in RandomGeneratorNext.java
>>  - Update copyright date in RandomGeneratorExponentialGaussian.java
>>  - Update copyright date in RandomSupport.java
>>  - Optimize: move some code out of the fast path
>>  - ... and 10 more: https://git.openjdk.org/jdk/compare/97b2ca3d...1b5656d7
>
> @JimLaskey @jddarcy @turbanoff @rgiulietti Could this please be merged?

@Pr0methean , please update your branch with the current contents of the master 
before issuing the integrate command. Assuming that succeeds as expected, 
myself or someone else can sponsor your changeset as described in the comment 
from the Skara bots.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/8131#issuecomment-1636416373

Reply via email to