Skip to content

remove myself from some adhoc-groups and pings#145571

Merged
bors merged 1 commit intorust-lang:masterfrom
davidtwco:davidtwco-remove-from-groups
Aug 20, 2025
Merged

remove myself from some adhoc-groups and pings#145571
bors merged 1 commit intorust-lang:masterfrom
davidtwco:davidtwco-remove-from-groups

Commits

Commits on Aug 18, 2025