From: Ralf Jung Date: Wed, 12 Dec 2018 18:42:42 +0000 (+0100) Subject: remove a probably confusing remark X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/197edd871ea671254812e6853956ea7e495f4b8b?hp=197edd871ea671254812e6853956ea7e495f4b8b remove a probably confusing remark ---