Stream: git-wasmtime

Topic: wasmtime / PR #9327 Delete old, unused source file


view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2024 at 23:18):

fitzgen opened PR #9327 from fitzgen:delete-unused-signatures-file to bytecodealliance:main:

This module was moved/renamed in some commit a long time ago, but somehow this source file was left behind. It's not used anywhere in the project, so we can delete it.

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2024 at 23:18):

fitzgen requested wasmtime-core-reviewers for a review on PR #9327.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 28 2024 at 23:18):

fitzgen requested alexcrichton for a review on PR #9327.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 30 2024 at 14:41):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 30 2024 at 15:00):

alexcrichton merged PR #9327.


Last updated: Nov 22 2024 at 17:03 UTC