On Tue, 14 Mar 2023 17:01:20 GMT, Matias Saavedra Silva <matsa...@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 > ! Thanks. The testing didn't reveal anything. ------------- PR: https://git.openjdk.org/jdk/pull/12778
