expand thread::park explanation#56157

Merged

bors merged 3 commits intorust-lang:masterfrom

Dec 10, 2018

Commits on Nov 22, 2018

expand thread::park explanation
RalfJung
committed

Commits on Nov 23, 2018

make park/unpark example more realistic
RalfJung
committed

Commits on Dec 3, 2018

improve wording
RalfJung
committed