On Fri, 30 Oct 2026 15:36:27 GMT, Severin Gehwolf <[email protected]> wrote:
> I'll integrate Monday. Yes... while it's trivial, best to set a better example than the original PR ;-) ------------- PR Comment: https://git.openjdk.org/jdk/pull/33642#issuecomment-6547643903
