On Sun, May 13, 2018 at 4:27 AM, Mehdi Dogguy <me...@dogguy.org> wrote: > I've done the necessary changes to use asciidoctor instead of asciidoc and > pushed my changes to Ben's Git repository. This bug will be closed with > the next upload.
Awesome, thanks a lot Mehdi! :)