Merge pull request #866 from nico/winfix
authorNico Weber <nicolasweber@gmx.de>
Sat, 22 Nov 2014 19:45:18 +0000 (11:45 -0800)
committerNico Weber <nicolasweber@gmx.de>
Sat, 22 Nov 2014 19:45:18 +0000 (11:45 -0800)
Fix Windows build after #862. Thanks to @harig for the report.


Trivial merge