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/ae8dd2c8dc046e9e95b4d3729f6a80c97cff3227?ds=inline;hp=ae8dd2c8dc046e9e95b4d3729f6a80c97cff3227 remove a probably confusing remark ---