build-manifest: re-add some comments#64544

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:build-manifest

Sep 18, 2019

Commits on Sep 17, 2019

build-manifest: add some comments
RalfJung
committed