Replace "bug" with "issue" in triagebot ping messages#152563
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Feb 14, 2026
Merged
Replace "bug" with "issue" in triagebot ping messages#152563rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
