RFR: 8276124: Provide snippet support for properties files

openjdk-notifier[bot] duke at openjdk.java.net
Fri Nov 19 21:00:53 UTC 2021


On Mon, 15 Nov 2021 20:34:20 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> The initial integration (JDK-8266666) of JEP 413 did not support properties files. This commit rights that wrong.

The dependent pull request has now been integrated, and the target branch of this pull request has been updated. This means that changes from the dependent pull request can start to show up as belonging to this pull request, which may be confusing for reviewers. To remedy this situation, simply merge the latest changes from the new target branch into this pull request by running commands similar to these in the local repository for your personal fork:


git checkout 8273544
git fetch https://git.openjdk.java.net/jdk master
git merge FETCH_HEAD
# if there are conflicts, follow the instructions given by git merge
git commit -m "Merge master"
git push

-------------

PR: https://git.openjdk.java.net/jdk/pull/6397


More information about the javadoc-dev mailing list