Stream: git-wasmtime

Topic: wasmtime / PR #6044 Remove split_blocks_created field

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2023 at 11:24):

bjorn3 opened PR #6044 from remove_frontend_dead_code to main:

This has been unused since #5731

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2023 at 16:26):

elliottt submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 17 2023 at 17:09):

elliottt merged PR #6044.

Last updated: Dec 23 2024 at 12:05 UTC