tree e2484514e55afc462df9c8877cdb9c3540e37aa8
parent f8b6e26cfbd301bbced3e4cab2c25b0164a39c81
parent a4dc33baf6496e58eed16f612031475c88545091
author Tyler Mandry <tmandry@gmail.com> 1568754656 -0700
committer GitHub <noreply@github.com> 1568754656 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJdgUvgCRBK7hj4Ov3rIwAAdHIIAILxnZMgRCvoQB7lhUpJkzZ8
 COE0Qyj0A7WVORC0nigd051wUF4g+tiqln0K7HNEvqF/n2E6zPJqzXG5dW8T8xaV
 ZYdR8qYm7KjIG01g1uTzB62/ZoQ4yFDzj2goGGeaULppqM7c+6a/X1FCgKjHJULU
 bfbUMt0od+iF4Cot0D6bZDUv5Tk+huNmMpBJr3/4ckwr/6GZL5qHg/yPfRZGKNE7
 /l+5QZcj93gJTuppQiYXbTaxJFwYvuibPCdNCkQ1M6+AHMX9TGvuXsvLlt0rIG5v
 Z9tRKg00luZAyPb/G53x/X8CEBE///APYH8wC7Xq5ey6zgoqCaso/ZsImH3mXp0=
 =0pOW
 -----END PGP SIGNATURE-----
 

Rollup merge of #64544 - RalfJung:build-manifest, r=pietroalbini

build-manifest: re-add some comments

https://github.com/rust-lang/rust/pull/64543 also reverted the comments I added. This adds them back.
Includes https://github.com/rust-lang/rust/pull/64543.

r? @pietroalbini