On 18/05/2019 01:16, Jonathan Gibbons wrote:
In JDK 13, the pages for the Tools Reference guides are moving, and so the links from the API pages to these guides needs to be updated.I went changes to each of the module-info.java files and skimmed through the code for the new taglet. All looks good to me.Please review a two-part change.
-Alan