On Mon, 22 Nov 2021 17:34:51 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> The initial integration (JDK-8266666) of JEP 413 did not support properties >> files. This commit rights that wrong. > > Pavel Rappo has updated the pull request incrementally with one additional > commit since the last revision: > > Address feedback Apologies to those who read my previous reply to Jon on the javadoc-dev mailing list. Apparently, comment order on GitHub differs from that of the mailing list. So my relative references such as "above" and "below" are broken. ------------- PR: https://git.openjdk.java.net/jdk/pull/6397
