Merge pull request #2771 from rubenk/stdbool
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Mon, 14 May 2018 09:38:16 +0000 (11:38 +0200)
committerGitHub <noreply@github.com>
Mon, 14 May 2018 09:38:16 +0000 (11:38 +0200)
Stdbool


Trivial merge