Set up CI with Azure Pipelines #2238

Merged
azure-pipelines[bot] merged 1 commit from release into master 2019-01-29 07:46:08 +01:00

1 commit

Author SHA1 Message Date
azure-pipelines[bot]
2dc76d47ea Set up CI with Azure Pipelines 2019-01-28 22:49:39 +00:00