Wasmtime GitHub notifications bot (Feb 09 2023 at 00:35): Wasmtime GitHub notifications bot (Feb 09 2023 at 00:35):cfallin commented on issue #1529:
@rylev I'm cleaning up old PRs and came upon this; are you still interested in this change? (Lots of conflicts now but it seems it wouldn't be too hard to redo the change in general) Sorry this got dropped on the floor beforehand!
Wasmtime GitHub notifications bot (Feb 09 2023 at 08:25):rylev commented on issue #1529:
@cfallin no worries! I'll close this. The user can always filter the logs fairly easily if it's too verbose.
Last updated: Nov 22 2024 at 16:03 UTC