On Fri, 30 Sep 2022 00:48:02 GMT, Mikael Vidstedt <mikael at openjdk.org> wrote: > Switch to https where needed/applicable while at it? Good idea; might as well do the update in a single changeset. ------------- PR: https://git.openjdk.org/jdk/pull/10501