tree 3f7d303c18a4cbe31732953328a41c46a8c0a933
parent 2263f82beab801f5d0235790e651142dba202ae8
parent 32c82da13e2d16792c79507be3d875a6e4624423
author Nico Weber <nicolasweber@gmx.de> 1478580585 -0800
committer GitHub <noreply@github.com> 1478580585 -0800

Merge pull request #1206 from nico/versioninfo

windows: replace deprecated GetVersionEx with recommended replacement