Use Manifest instead of ParseResult [#3163]#3219

Merged

gshank merged 1 commit intodevelopfrom partial_parsing

Apr 6, 2021

+885-887

Commits on Apr 6, 2021

Use Manifest instead of ParseResults [#3163 ]
gshank
committed