The minutes of the OpenJDK Governing Board's meeting on 2 Dec are now available: https://openjdk.java.net/groups/gb/minutes/2021-12-02 Thanks, Iris