Rollup of 5 pull requests#53717

Merged

bors merged 13 commits intorust-lang:masterfrom

GuillaumeGomez:rollup

Aug 26, 2018

Commits on Aug 3, 2018

Improve unstable message display
GuillaumeGomez
committed

Commits on Aug 16, 2018

libtest terse format: show how far in we are
RalfJung
committed

Commits on Aug 20, 2018

comment
RalfJung
committed

Commits on Aug 23, 2018

Commits on Aug 25, 2018