New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Use name+USR as key when merging extensions #460

Closed

pcantrell opened this issue Jan 20, 2016 · 0 comments

Assignees

Labels

Milestone

Collaborator

pcantrell commented Jan 20, 2016

This is a workaround for #459: Sourcekitten (and probably SourceKit) don’t always generate unique USRs for extensions.

Writing this up so I don’t forget about it. (Leaving the original issue for @jpsim to verify that it’s a bug in the kit and not the kitten.)

pcantrell self-assigned this

AliSoftware mentioned this issue

Use name+USR for deduplication #462

Merged

pcantrell closed this as completed in

be741e2

pigeon-archive modified the milestone: The Past

pigeon-archive added the enhancement label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment