Merge pull request #1584 from martin-frbg/issue1503
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Thu, 31 May 2018 19:56:04 +0000 (21:56 +0200)
committerGitHub <noreply@github.com>
Thu, 31 May 2018 19:56:04 +0000 (21:56 +0200)
commit1a49fb1c05b19f5bcfed1922cba9b28fed6d68c2
tree5c29ca0fcfbaea927de3062dc54f7d46a3090b82
parent8562d5787ae3d2e633d37b5e99d7130cbf2428f3
parenta91f1587b9be6c9bbc403a79970d3e2a03bf866c
Merge pull request #1584 from martin-frbg/issue1503

Work around name clash with Windows10's winnt.h