Good catch; nice fix.

-- Jon

On 9/19/19 7:10 AM, Hannes Wallnöfer wrote:
Please review:

JBS: https://bugs.openjdk.java.net/browse/JDK-8231122
Webrev: http://cr.openjdk.java.net/~hannesw/8231122/webrev.00/

This causes any sequence of whitespace characters to be reduced to a single 
spece character in the index tag text, and to be removed from the HTML anchor 
name.

Thanks,
Hannes

Reply via email to