Remove two fields from `SubstFolder`.#75133

Merged

bors merged 1 commit intorust-lang:masterfrom nnethercote:rm-SubstFolder-fields

Aug 4, 2020

+6-31

Commits on Aug 4, 2020

Remove two fields from SubstFolder.
nnethercote
committed