On Wed, 27 Oct 2021 17:04:53 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> I think this change is OK for now. We can make it more restrictive later if >> it becomes a problem. I tried to come up with a short explanatory comment, >> but couldn't find one I was satisfied with. > > While maybe uncommon and maybe not necessary, it is not bad HTML (is it?) to > have an empty fragment. > Verified: > * https://en.wikipedia.org/wiki/URI_fragment > * https://datatracker.ietf.org/doc/html/rfc3986#section-3.5 What was the purpose of that check added in JDK-8216319 in the first place? If the check is irrelevant, we should remove it. ------------- PR: https://git.openjdk.java.net/jdk/pull/6011