On Fri, 18 Nov 2022 16:32:08 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:

>> Christoph Langer has updated the pull request incrementally with one 
>> additional commit since the last revision:
>> 
>>   Fix enumeration for html
>
> Hm, the changes you made to the markdown file does not result in any changes 
> in the generated html file. :( I fixed it by adding an additional empty line 
> in the markdown file. The commit including both these fixes are here: 
> https://github.com/magicus/jdk/commit/2844de1591ee8246dfb0fb5d19664b9db1d68c3a

@magicus Thanks for fixing my enumeration. I recognized that you have 
regenerated all the html files with a newer pandoc and I had to resolve with 
master. I guess you'll need to regenerate with my current branch once more - 
otherwise I think I'm breaking some of the new style.

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

PR: https://git.openjdk.org/jdk/pull/11113

Reply via email to