Commit c97cf08ae3c1b1deb6a6eb557132ed5424aa4450

Edward Thomson 2019-09-13T11:20:54

Merge pull request #5198 from pks-t/pks/azure-docker-builds azure: build Docker images as part of the pipeline