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