@novoid
novoid adaptations after pandoc update (from Debian 10 to Xubuntu 20.04 LTS)
3182d36 Nov 13, 2021
adaptations after pandoc update (from Debian 10 to Xubuntu 20.04 LTS)
3182d36