Stream: git-wasmtime

Topic: wasmtime / PR #9920 isle: BNF glitches

Wasmtime GitHub notifications bot (Jan 04 2025 at 20:21):

eagr edited PR #9920.

Wasmtime GitHub notifications bot (Jan 04 2025 at 20:24):

eagr edited PR #9920:

• <int> shouldn't match _
• fix <extern> const syntax

Wasmtime GitHub notifications bot (Jan 04 2025 at 20:25):

eagr edited PR #9920:

• <int> shouldn't match _
• fix <extern> const syntax

Wasmtime GitHub notifications bot (Jan 05 2025 at 00:07):

cfallin submitted PR review:

Thanks!

Wasmtime GitHub notifications bot (Jan 05 2025 at 00:26):

cfallin merged PR #9920.

Last updated: Jan 10 2026 at 20:04 UTC