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