Hi,

I think CODETOOLS-7901742 was mistakenly filed in CODETOOLS inistead of
JDK/tools/javadoc.  And there doesn't seem to be any way to move a bug
report between projects.  Can someone here (jjg?) triage this lost bug?

Reply via email to