On Wed, 25 Nov 2020 08:47:05 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: >> Ok, looks trivial to me then. Ship it. > > I'll wait until the gh actions show some resemblance of sanity... :( #1427 is fixed, you can pull. ------------- PR: https://git.openjdk.java.net/jdk/pull/1426