On Fri, 4 Jun 2021 20:12:59 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> Jonathan Gibbons has updated the pull request with a new target base due to >> a merge or a rebase. The pull request now contains 17 commits: >> >> - Update copyright years >> - Merge remote-tracking branch 'upstream/master' into jdk-8267204-reporter >> - Merge remote-tracking branch 'upstream/master' into jdk-8267204-reporter >> - Fix typos >> - Fix typos >> - Fix typos >> - Merge remote-tracking branch 'upstream/master' into jdk-8267204-reporter >> - Address review feedback >> - Address review feedback >> - extend Messages to provide convenient access to the new Reporter.report >> method >> - ... and 7 more: >> https://git.openjdk.java.net/jdk/compare/20b63127...78e811b1 > > src/jdk.javadoc/share/classes/jdk/javadoc/doclet/Reporter.java line 42: > >> 40: * and may additionally be associated with an {@link Element element}, >> 41: * a {@link DocTreePath tree node} in a documentation comment, >> 42: * or at an arbitrary position in a given {@link FileObject file}. > > "at" looks misplaced here. When I wrote it, it looked right; now, I agree with you. ------------- PR: https://git.openjdk.java.net/jdk/pull/4216
