It's easy for us to move, if that is the right thing to do.
https://bugs.openjdk.java.net/browse/CODETOOLS-7901742 -- Michel
Martin Buchholz <mailto:[email protected]> March 22, 2017 at 9:35 AM 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?
