book: miscellaneous improvements to "dining philosophers" example#29651
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 28, 2015
tshepang:misc
Merged
book: miscellaneous improvements to "dining philosophers" example#29651bors merged 1 commit intorust-lang:masterfrom tshepang:misc
bors merged 1 commit intorust-lang:masterfrom
tshepang:misc
