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