On Fri, 24 Sep 2021 13:06:55 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> The actual change is ok, but it seems your version of pandoc is creating a > lot of spurious changes throughout the html version. Since this change is so > small, maybe you could just manually revert everything but the actual text > addition you are making in that file? Thanks @erikj79 for your review. Updated. ------------- PR: https://git.openjdk.java.net/jdk/pull/5676