The minutes of the OpenJDK Governing Board's meetings on 11 Aug and 3 Nov 2022 are now available: https://openjdk.org/groups/gb/minutes/2022-08-11 https://openjdk.org/groups/gb/minutes/2022-11-03 Thanks, Iris