On Fri, 30 Sep 2022 00:48:02 GMT, Mikael Vidstedt <mik...@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
