Proposal: openjdk.java.net =?utf-8?Q?=E2=9E=9C_?=openjdk.org

[Mario Torre]

Yes!

That is the best thing since the last best thing ;)

Cheers,
Mario

—
Mario Torre
Java Champion and OpenJDK contributor

PGP Key: 0BAB254E
Fingerprint: AB1C 7C6F 7181 895F E581 93A9 C6B8 A242 0BAB 254E

Twitter: @neugens
Web: https://www.mario-torre.eu/
Music: https://mario-torre.bandcamp.com/

> On Thursday, May 12, 2022 at 22:03, <mark.reinhold at oracle.com (mailto:mark.reinhold at oracle.com)> wrote:
> 2022/5/12 12:57:35 -0700, vladimir.kozlov at oracle.com:
> > I support it.
> >
> > What about "jdk.java.net"?
>
> There are no plans, at this time, to move jdk.java.net.
>
> - Mark