Stream: git-wasmtime

Topic: wasmtime / PR #7411 wasi-sockets: (UDP) Allow reconnects ...

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 19:56):

badeend opened PR #7411 from badeend:udp-disconnect to bytecodealliance:main:

Resolves FIXME

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 19:56):

badeend requested wasmtime-core-reviewers for a review on PR #7411.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 19:56):

badeend requested wasmtime-default-reviewers for a review on PR #7411.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 19:56):

badeend requested alexcrichton for a review on PR #7411.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 20:08):

badeend edited PR #7411:

Resolves FIXME comment introduced in https://github.com/bytecodealliance/wasmtime/pull/7243

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 20:35):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 20:55):

alexcrichton has enabled auto merge for PR #7411.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2023 at 21:43):

alexcrichton merged PR #7411.

Last updated: Oct 23 2024 at 20:03 UTC