Skip to content

Conversation

@wilzbach
Copy link
Contributor

@dlang-bot
Copy link
Contributor

Thanks for your pull request, @wilzbach!

Bugzilla references

Your PR doesn't reference any Bugzilla issue.

If your PR contains non-trivial changes, please reference a Bugzilla issue or create a manual changelog.

@wilzbach
Copy link
Contributor Author

This fixes the CircleCi failure.

(FWIW we currently still allow failures for D-Scanner as we still haven't fixed the segfault in druntime GC collection, see e.g. #5929)

@dlang-bot dlang-bot merged commit ce572de into dlang:master Jan 26, 2018
@wilzbach wilzbach deleted the fix-circleci2 branch January 26, 2018 09:48
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.

3 participants