Merge pull request #2393 from nihui/patch-3
authorgreg-lunarg <greg@lunarg.com>
Thu, 24 Dec 2020 19:53:39 +0000 (12:53 -0700)
committerGitHub <noreply@github.com>
Thu, 24 Dec 2020 19:53:39 +0000 (12:53 -0700)
Fix build with android ndk r16b


Trivial merge