tree be350afeec9dbf524cc6d418bf866ec68f3cc9ab
parent aa71a836f33c307209f16b66c85a145216d83036
author Philipp Wiesemann <philipp.wiesemann@arcor.de> 1487534709 +0100
committer Philipp Wiesemann <philipp.wiesemann@arcor.de> 1487534709 +0100

Fixed comment.