Stream: git-wasmtime

Topic: wasmtime / issue #2834 Add test for #2833

view this post on Zulip Wasmtime GitHub notifications bot (May 06 2022 at 17:45):

bjorn3 commented on issue #2834:

I forgot that I opened this PR. Given how long ago the actual issue was fixed, I don't think it will be easy to check if the test actually detects the bug. Closing.

Last updated: Nov 22 2024 at 17:03 UTC