On Fri, 5 Jul 2024 06:20:27 GMT, Severin Gehwolf <sgehw...@openjdk.org> 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
