On Fri, 5 Jul 2024 06:20:27 GMT, Severin Gehwolf <[email protected]> wrote:
> @tstuefe Please also remove the problem list entry. See the error from the > skara bot. Thanks! Oh, Skara tells me this now? Or did I never notice :) In any case that's cool. Thanks! ------------- PR Comment: https://git.openjdk.org/jdk/pull/20034#issuecomment-2210464002
