Skip to content

Merge remote-tracking branch 'upstream/stable' into merge_stable#7471

Merged
wilzbach merged 3 commits intodlang:masterfrom
MartinNowak:merge_stable
Dec 20, 2017
Merged

Merge remote-tracking branch 'upstream/stable' into merge_stable#7471
wilzbach merged 3 commits intodlang:masterfrom
MartinNowak:merge_stable

Conversation

@MartinNowak
Copy link
Member

No description provided.

@dlang-bot
Copy link
Contributor

Thanks for your pull request, @MartinNowak!

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

For the Jenkins failure, see dlang/ci#96

@wilzbach
Copy link
Contributor

And the CircleCi failure is due to the upgrade to CircleCi 2.0 (normally I would rebase the PR, but Martin advised me to avoid this for his merge PRs)

@wilzbach wilzbach merged commit c218126 into dlang:master Dec 20, 2017
@MartinNowak MartinNowak deleted the merge_stable branch December 20, 2017 15:49
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