Skip to content

Update my mailmap entry - #116786

Merged
bors merged 1 commit into
rust-lang:masterfrom
Urgau:mailmap-update
Oct 16, 2023
Merged

bors merged 1 commit into
rust-lang:masterfrom
Urgau:mailmap-update

Commits

Commits on Oct 13, 2023