Stream: git-wasmtime

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

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:

• If this work has been discussed elsewhere, please include a link to that
  conversation. If it was discussed in an issue, just mention "issue #...".

• Explain why this change is needed. If the details are in an issue already,
  this can be brief.

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
-->

Wasmtime GitHub notifications bot (Sep 28 2024 at 23:18):

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

Wasmtime GitHub notifications bot (Sep 28 2024 at 23:18):

fitzgen requested alexcrichton for a review on PR #9327.

Wasmtime GitHub notifications bot (Sep 30 2024 at 14:41):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Sep 30 2024 at 15:00):

alexcrichton merged PR #9327.

Last updated: Dec 23 2024 at 12:05 UTC