Remove WASM workaround that is no longer required#1332

Merged

hannobraun merged 1 commit intomainfrom workaround

Nov 9, 2022

-7

Commits on Nov 9, 2022

Remove WASM workaround that is no longer required
hannobraun
committed