Merge pull request #2842 from whitequark/fix-wasi-build
authorwhitequark <whitequark@whitequark.org>
Sat, 19 Jun 2021 12:10:29 +0000 (12:10 +0000)
committerGitHub <noreply@github.com>
Sat, 19 Jun 2021 12:10:29 +0000 (12:10 +0000)
commit862e84eb3d85dfaacc7025b33c7dbe038bfff2d5
treeb243b8b0ad031d8e0d05ca7b647137c8935b9d5c
parent5a73f296c9a57e24594f66ca936c8982388833dc
parent02b4e675495d045308a2af9f2b75bf224e0c7be5
Merge pull request #2842 from whitequark/fix-wasi-build

Fix WASI build after commit 1d88bea1