On Sun, 28 Jul 2024 22:15:05 GMT, Phil Race <p...@openjdk.org> wrote:
> This looks reasonable to me, but someone from the build team (specifically > @magicus or @erikj79) should approve as well. Thanks! [You are in Build Group too](https://openjdk.org/census#build), Phil :) Anyway, I presume both @magicus and @erikj79 are on vacation? Have not seen them lately here. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20173#issuecomment-2255981389
