Skip to content

A few metadata nits#106067

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:meta-cleanup
Dec 23, 2022
Merged

A few metadata nits#106067
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:meta-cleanup

Commits

Commits on Dec 22, 2022