Skip to content

Core team changes: Thank you note#922

Merged
pietroalbini merged 1 commit intorust-lang:masterfrom
badboy:core-team-changes
Jan 31, 2022
Merged

Core team changes: Thank you note#922
pietroalbini merged 1 commit intorust-lang:masterfrom
badboy:core-team-changes

Commits

Commits on Jan 31, 2022