Skip to content

Remove some noisy triagebot pings for myself#144771

Merged
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:noisy-ping
Aug 1, 2025
Merged

Remove some noisy triagebot pings for myself#144771
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:noisy-ping

Commits

Commits on Aug 1, 2025