Skip to content

interpret: fix comment typo#152806

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:interpret-typo
Feb 19, 2026
Merged

interpret: fix comment typo#152806
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
RalfJung:interpret-typo

Commits

Commits on Feb 18, 2026