On Fri, 30 Apr 2021 07:35:00 GMT, David Holmes <dholmes at openjdk.org> wrote: > hotspot group rules Sure. It's my fault. Is there any way to revoke `/integrate` here? ------------- PR: https://git.openjdk.java.net/jdk/pull/3392