tree 345473adf50b3a47dd5d9ec1e3e20815188cd64f
parent 32276d5f474fcdc0cf33549e498f30ca77d7b501
author Philipp Wiesemann <philipp.wiesemann@arcor.de> 1491771654 +0200
committer Philipp Wiesemann <philipp.wiesemann@arcor.de> 1491771654 +0200

mir: Fixed typo in error messages.