On Thu, 3 Jun 2021 18:24:51 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote: > With promoted builds available it's a good time to switch the boot JDK etc. Marked as reviewed by erikj (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/4341