trivial bug-fix for master

This commit is contained in:
Andreas Fabri 2014-07-12 19:37:25 +02:00
parent a0de599134
commit cdb0ee6381
1 changed files with 1 additions and 1 deletions