tree 9a03601bc71a4fcd0a280d8b62e471337bb98b8e
parent c4b2b2aeb2a1de1151cce9f58129c32735d6eeaf
author Thomas Klausner <tk@giga.or.at> 1553553677 +0100
committer Thomas Klausner <tk@giga.or.at> 1553553677 +0100

appveyor: it's "10.0" not "10"