From: Ralf Jung Date: Fri, 13 Jul 2018 16:25:42 +0000 (+0200) Subject: extend footnote X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/6b193cf5f19077de20c195bc0be6cf0b4e7719e0?hp=6b193cf5f19077de20c195bc0be6cf0b4e7719e0 extend footnote ---