Some review feedback and other misc tweaks#2
Merged
pietroalbini merged 13 commits intopietroalbini:azure-pipelinesfrom alexcrichton:azure-pipelinesMay 21, 2019
+249-234
Commits
Commits on May 20, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
