Skip to content

Wasm32 specific patch

Cheng Shao requested to merge wasm32-wasi into master

This MR adds necessary patch to make gmp work with wasm32 for the time being. It does not impact native platforms.

Merge request reports