On Tue, 6 Jun 2023 07:16:13 GMT, Alan Bateman <al...@openjdk.org> wrote:
> I see this was integrated without a reviewer in the area but I think the > changes are okay. Hi Alan, I think Christoph is very competent in the area. But should I look into the census next time for some special reviewer category (and which one would that be) ? ------------- PR Comment: https://git.openjdk.org/jdk/pull/14280#issuecomment-1578063861
