Skip to content

Rename folding/visiting traits#767

Merged
bors merged 6 commits intorust-lang:masterfrom
eggyal:rename-traits
Jun 21, 2022

Commits

Commits on Jun 19, 2022