Skip to content

Conversation

@wilzbach
Copy link
Contributor

#4613 broke CircleCi, this should fix it again.

How about enforcing CircleCi to pass to avoid such sneak-ins in the future?

@dlang-bot dlang-bot merged commit 8358d21 into dlang:master Feb 24, 2017
@wilzbach wilzbach deleted the fix-circleci branch February 24, 2017 17:12
@andralex
Copy link
Member

thx!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants