On Wed, 19 Apr 2023 18:34:33 GMT, Erik Joelsson <erikj at openjdk.org> wrote: > > Hi @erikj79 I apologize for a missing change. Could you please run pandoc again for me? Thanks for your patience and help! > > Done. Thanks again! ------------- PR Comment: https://git.openjdk.org/jdk/pull/13523#issuecomment-1515541828