Skip to content

Make target maintainers more easily pingable#139028

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:ping-pong
Apr 20, 2025
Merged

Make target maintainers more easily pingable#139028
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:ping-pong

Commits

Commits on Apr 20, 2025