Stream: git-wasmtime

Topic: wasmtime / PR #5024 Documentation: Fix broken WASI ABI link

view this post on Zulip Wasmtime GitHub notifications bot (Oct 05 2022 at 22:20):

jbourassa opened PR #5024 from wasi-abi-broken-link to main:

Fixing a broken link I came across as I was reading the Linker documentation.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 05 2022 at 22:21):

sunfishcode has enabled auto merge for PR #5024.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 05 2022 at 22:21):

sunfishcode submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 05 2022 at 23:01):

sunfishcode merged PR #5024.

Last updated: Nov 22 2024 at 16:03 UTC