remove a probably confusing remark
authorRalf Jung <post@ralfj.de>
Wed, 12 Dec 2018 18:42:42 +0000 (19:42 +0100)
committerRalf Jung <post@ralfj.de>
Wed, 12 Dec 2018 18:42:42 +0000 (19:42 +0100)

No differences found