bors dde35e75a3 Auto merge of #32800 - Manishearth:rollup, r=Manishearth
Rollup of 7 pull requests

- Successful merges: #32687, #32729, #32731, #32732, #32734, #32737, #32741
- Failed merges:
2016-04-07 15:40:47 -07:00
..
2016-03-12 12:22:40 -08:00
2015-11-13 15:15:51 -05:00
2016-04-06 12:42:47 -04:00