Merge pull request #149 from witzig/master

Temporary fix for #148
This commit is contained in:
Andris Reinman 2017-03-07 16:31:12 +02:00 committed by GitHub
commit 573a6d44ff
4 changed files with 11 additions and 11 deletions