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: Dec 23 2024 at 13:07 UTC