On Wed, 20 Nov 2024 18:16:22 GMT, Severin Gehwolf <sgehw...@openjdk.org> wrote:
> Sorry about that. There weren't any major objections, so I moved forward as > there was radio-silence for a while: That's okay, my comment wasn't aimed at you, it was instead just observing that there wasn't much feedback. ------------- PR Comment: https://git.openjdk.org/jdk/pull/22277#issuecomment-2489293392
