Subject: quick RFC: "jdk" -> "jdk11"?
To: None <firstname.lastname@example.org>
From: Todd Vierling <email@example.com>
Date: 07/29/2004 09:51:12
Now that lang/jdk12 exists (and lang/jdk13 is soon to come), lang/jdk seems
a little unusual in naming compared to the other Java implementations.
It's probably not obvious to most users that lang/jdk is only a JDK 1.1
implementation and not capable of running many modern Java applications.
Ideally, it would be nice to delete lang/jdk altogether, but lang/jdk12 has
redistribution restrictions. So instead, what do y'all think of renaming
lang/jdk to lang/jdk11?
-- Todd Vierling <firstname.lastname@example.org> <email@example.com>