Merge master into features#5717
Merged
nicoddemus merged 17 commits intopytest-dev:featuresfrom Aug 10, 2019
Merged
Commits
Commits on Aug 5, 2019
- authored andcommitted

- authored
Commits on Aug 6, 2019
- authored
- committed
boris - committed
boris - committed
boris - committed
boris - authored
- committed
boris - committed
boris - committed
boris
Commits on Aug 7, 2019
Commits on Aug 8, 2019
- committed
boris - authored
- authored
- authored
Commits on Aug 9, 2019
- committed
Bruno Oliveira