You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@lucene.apache.org by "Robert Muir (Jira)" <ji...@apache.org> on 2020/02/07 20:44:00 UTC

[jira] [Created] (LUCENE-9213) fix documentation-lint on recent java

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-unsubscribe@lucene.apache.org
For additional commands, e-mail: issues-help@lucene.apache.org