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

Comments

Merge mangle into master#1876

Closed
andralex wants to merge 4 commits intomanglefrom
master
Closed

Merge mangle into master#1876
andralex wants to merge 4 commits intomanglefrom
master

Conversation

@andralex
Copy link
Member

No description provided.

rainers and others added 2 commits July 16, 2017 10:22
@dlang-bot
Copy link
Contributor

Thanks for your pull request, @andralex!

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.

@rainers
Copy link
Member

rainers commented Jul 16, 2017

This looks like the wrong branch and direction (the GC coverage change is not required for the mangling). Martin has opened another PR: #1877

Merge remote-tracking branch 'upstream/mangle' into merge_mangle
merged-on-behalf-of: Andrei Alexandrescu <andralex@users.noreply.github.com>
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