On Tue, 14 Mar 2023 09:20:54 GMT, Richard Reingruber <rr...@openjdk.org> wrote:
> @matias9927 can I ask you to merge master? There seem to be conflicts (at > least I see a message "This branch has conflicts that must be resolved"). I'd > like to give the change a spin in our CI testing. This requires that it can > be applied on master. I saw that merge error but nothing came up when I tried to merge locally. The branch is updated nonetheless, so you should be able to test it now @reinrich ! ------------- PR: https://git.openjdk.org/jdk/pull/12778
