Skip to content

Properly remove Noratrieb from review rotation#141262

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:Noratrieb-patch-4
May 20, 2025
Merged

Properly remove Noratrieb from review rotation#141262
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:Noratrieb-patch-4

Commits

Commits on May 19, 2025