Skip to content
This repository was archived by the owner on Oct 12, 2022. It is now read-only.
/ druntime Public archive

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

Merged
dlang-bot merged 2 commits intodlang:masterfrom
MartinNowak:merge_stable
Sep 9, 2017
Merged

Merge remote-tracking branch 'upstream/stable' into merge_stable#1912
dlang-bot merged 2 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.

@PetarKirov
Copy link
Member

PetarKirov commented Sep 1, 2017

Martin, you might want to take a look at #1910, and decide whether it should go into this release.

Edit: Wow I missed the release announcement, so I guess that my question was way too late.

@dlang-bot dlang-bot merged commit c39db9d into dlang:master Sep 9, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants