Skip to content

Handle --print=backend-has-mnemonic in cg_clif#156323

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
bjorn3:clif_has_mnemonic
May 10, 2026
Merged

Handle --print=backend-has-mnemonic in cg_clif#156323
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
bjorn3:clif_has_mnemonic

Commits

Commits on May 8, 2026