bors 8967085617 Auto merge of #39533 - GuillaumeGomez:rollup, r=GuillaumeGomez
Rollup of 3 pull requests

- Successful merges: #39486, #39506, #39517
- Failed merges:
2017-02-04 16:04:08 +00:00
..
2017-02-03 13:25:46 -08:00
2017-01-30 23:14:15 +03:00
2017-02-03 11:08:20 +01:00
2017-02-02 23:55:42 +03:00
2017-02-03 13:55:18 +01:00
2017-02-03 13:25:46 -08:00