tree 71fe6394b7a8db2af6f3e23dd47478117c9c1cd6
parent 173bbe11ef1ef9bebf15a06c1f32a7d97f748d79
author Benno Schulenberg <bensberg@justemail.net> 1481140892 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1481141165 +0100

tweaks: correct the wording of a string