Skip to content

Improve some AllTypes fields name#102135

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rename-alltypes-fields
Sep 23, 2022
Merged

Improve some AllTypes fields name#102135
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rename-alltypes-fields

Commits

Commits on Sep 22, 2022