bors 5c7add7551 Auto merge of #43640 - oli-obk:patch-5, r=nikomatsakis
Uplift some comments to Doc comments
2017-08-05 07:31:00 +00:00
..
2017-08-04 12:33:48 +02:00
2017-08-03 14:40:40 +02:00