Stream: git-wasmtime

Topic: wasmtime / PR #6042 Various cleanups to Layout

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

bjorn3 opened PR #6042 from cleanup_layout_dead_code to main:

This removes some dead code, replaces some function calls with more specific function calls and renames a couple of items to have a clearer name.

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

bjorn3 updated PR #6042 from cleanup_layout_dead_code to main.

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

cfallin submitted PR review.

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

cfallin merged PR #6042.

Last updated: Nov 22 2024 at 16:03 UTC