Skip to content

Clarify that we still like Azure Pipelines#456

Merged
pietroalbini merged 1 commit intomasterfrom
gha-clarify-pipelines
Nov 14, 2019
Merged

Clarify that we still like Azure Pipelines#456
pietroalbini merged 1 commit intomasterfrom
gha-clarify-pipelines

Commits

Commits on Nov 14, 2019