Merge pull request #1757 from jiegec/fix-emcc
authorMiodrag Milanović <mmicko@gmail.com>
Thu, 12 Mar 2020 10:16:28 +0000 (12:16 +0200)
committerGitHub <noreply@github.com>
Thu, 12 Mar 2020 10:16:28 +0000 (12:16 +0200)
Fix compilation for emcc


Trivial merge