Merge pull request #75 from sarabadanie/master

small change
This commit is contained in:
Holger Reinhardt 2016-09-30 10:46:46 +02:00 committed by GitHub
commit 34ffea58ed