Skip to content

Rename *.node to *.kind, and hair::Pattern* to hair::Pat*#64813

Merged
bors merged 19 commits into
rust-lang:masterfrom
varkor:node-to-kind
Sep 27, 2019
Merged

Rename *.node to *.kind, and hair::Pattern* to hair::Pat*#64813
bors merged 19 commits into
rust-lang:masterfrom
varkor:node-to-kind

Commits

Commits on Sep 26, 2019

Commits on Sep 27, 2019