Good catch, I actually closed it as a duplicate but marked it as a
duplicate of the wrong bug, it should have been
https://bugs.openjdk.java.net/browse/JDK-8054380
I fixed it so 8054380 is now the duplicate.
--Sean
On 3/27/17 9:26 AM, Thomas Stüfe wrote:
Hi all,
just a question, I hope this is the correct mailing list.
There is https://bugs.openjdk.java.net/browse/JDK-8016345, which is
about DNSName not accepting host names with leading numbers, which is
valid according to https://tools.ietf.org/html/rfc1123 (Section 2.1).
This bug was marked as a duplicate
of https://bugs.openjdk.java.net/browse/JDK-8007706, which I do not
understand - what do these errors have in common?
I try to understand why JDK-8016345 was marked as will-not-fix. Are
there any reasons to not fix the parser in DNSName.java (because the fix
itself looks trivial)?
Thank you, and Kind Regards, Thomas
