Closed guillaumejenkins closed 6 years ago
Can't merge this until the following happens:
Merging to get the travis build update in; all webhooks and dotnet bot access have been removed, so the Jenkins build will no longer be triggered
Can't merge this until the following happens: