Skip to content

remove ibraheemdev from review rotation#155303

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
WaffleLapkin:ibraheemdev
Apr 15, 2026
Merged

remove ibraheemdev from review rotation#155303
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
WaffleLapkin:ibraheemdev

Commits

Commits on Apr 14, 2026