On Thu, 3 Jun 2021 18:24:51 GMT, Mikael Vidstedt <mik...@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
