From: Ralf Jung Date: Mon, 25 Nov 2019 12:35:32 +0000 (+0100) Subject: some more remarks X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/63d55ebff3ae6726062a6d208cb6070678e7a9cb?ds=inline;hp=63d55ebff3ae6726062a6d208cb6070678e7a9cb some more remarks ---