On Wed, 6 Jul 2022 23:03:42 GMT, Stuart Marks <sma...@openjdk.org> wrote:
>> Simple javadoc fix of an editorial nature. > > Stuart Marks has updated the pull request incrementally with one additional > commit since the last revision: > > Reflow and adjust whitespace per Alan's & Iris' comments. Reflowed and adjusted whitespace. Also, Pavel wrote: > Also, consider closing 8255426 as a duplicate. Ha! Thanks, I had forgotten about that one. Easier to file a new bug than to dig out an old one. Oh well, closed as duplicate. ------------- PR: https://git.openjdk.org/jdk19/pull/111