On Fri, 20 Jan 2023 09:20:59 GMT, Andrew Haley <[email protected]> wrote:
> So I'm trying to revert my mistaken approval. Do another review with "Request changes" to invalidate your previous approval. ------------- PR: https://git.openjdk.org/jdk/pull/10817
