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/586c62d45b17af94981ba345552f695d7f2dc1f6?hp=586c62d45b17af94981ba345552f695d7f2dc1f6 remove a footnote again ---