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/9cee19e9b636a816a4296f4aae16ef332c476275?hp=9cee19e9b636a816a4296f4aae16ef332c476275 extend footnote ---