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)
Work around name clash with Windows10's winnt.h


Trivial merge