Merge pull request #2339 from Jehan/wip/Jehan/fix-timeout
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Fri, 13 Dec 2019 13:57:26 +0000 (14:57 +0100)
committerGitHub <noreply@github.com>
Fri, 13 Dec 2019 13:57:26 +0000 (14:57 +0100)
driver: more reasonable thread wait timeout on Windows.


Trivial merge