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