On Tue, 22 Nov 2022 14:10:44 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> @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. > > @RealCLanger Finally regenerated once more: > [fcd20c73ed9f0a44c0614a54580c755a16387a6a](https://github.com/magicus/jdk/commit/fcd20c73ed9f0a44c0614a54580c755a16387a6a) Thanks @magicus for your help. ------------- PR: https://git.openjdk.org/jdk/pull/11113