[crac] RFR: Merge jdk:master

Fri Dec 8 12:30:46 UTC 2023

On Mon, 20 Nov 2023 14:21:55 GMT, Anton Kozlov <akozlov at openjdk.org> wrote:

>> Merge jdk/master to crac.
>
> Looks like a intermittent failure. I have re-run the tests, but GHA does not support re-run of failed tests. I'm doing another try with re-running everything.

@AntonKozlov Could you push this? We can't do this through Skara, and merge commits through UI are disabled via GitHub settings.

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

PR Comment: https://git.openjdk.org/crac/pull/141#issuecomment-1847087264