Robert Muir created LUCENE-9213: ----------------------------------- Summary: fix documentation-lint on recent java Key: LUCENE-9213 URL: https://issues.apache.org/jira/browse/LUCENE-9213 Project: Lucene - Core Issue Type: Task Reporter: Robert Muir
Currently this is disabled unless you use java 11. It works with java 12. For java 13, it the python checker needs some slight tweaks. Javadocs are formatted differently in each release but the changes between 12 and 13 were enough to anger the checker. -- This message was sent by Atlassian Jira (v8.3.4#803005) --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org