Hi Sean, thank you!
Is it planned to fix 8054380? I see it is still open, but the assignee (Jason Uh) is marked as inactive and the issue is dormant since creation. ..Thomas On Mon, Mar 27, 2017 at 4:42 PM, Sean Mullan <[email protected]> wrote: > 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 >> >
