The minutes of the OpenJDK Governing Board's meeting on 10 Oct 2019 are now available: https://openjdk.java.net/groups/gb/minutes/2019-10-10 Thanks, Iris