tree c991d164fced3b815a980424943ce909a2d32599
parent 80491c82b55aa1abe60394a907c6c8c780b42a94
author Thomas Klausner <tk@giga.or.at> 1568713634 +0200
committer Thomas Klausner <tk@giga.or.at> 1568713634 +0200

Try fixing build on Windows.