Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Fix mangler binding rename issue with duplicate names #414

Merged
merged 1 commit into from
Feb 12, 2017

Conversation

boopathi
Copy link
Member

@boopathi boopathi commented Feb 9, 2017

@boopathi boopathi added the Tag: Bug Fix Pull Request fixes a bug label Feb 9, 2017
@boopathi boopathi merged commit 8b86de0 into master Feb 12, 2017
@boopathi boopathi deleted the mangler-binding-0 branch February 12, 2017 17:13
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Tag: Bug Fix Pull Request fixes a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Live function is wrongly eliminated Function dropped
1 participant