From: Ralf Jung Date: Tue, 24 Jul 2018 21:49:54 +0000 (+0200) Subject: remove a footnote again X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/9a3fbb8fa4bb0533e1995f8539714f26371044a3?hp=9a3fbb8fa4bb0533e1995f8539714f26371044a3 remove a footnote again ---