tree 786dc0b8164de04a3c408b905b701d60d0e908a9
parent e89a09ce1e0ea9622a5c37ccde195e730cdf436d
author Stephan Herrmann <stephan.herrmann@berlin.de> 1402608611 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1402608611 +0200

Minor wording change