Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Make sure file entries in working set are different (#1971) #1990

Merged
merged 1 commit into from
Oct 30, 2012
Merged

Make sure file entries in working set are different (#1971) #1990

merged 1 commit into from
Oct 30, 2012

Conversation

jbalsas
Copy link
Contributor

@jbalsas jbalsas commented Oct 30, 2012

This fixes #1971 described error when renaming documents present in the working set.

@gruehle Hopefully this is a better fix than the previous one ;)

@ghost ghost assigned gruehle Oct 30, 2012
@gruehle
Copy link
Member

gruehle commented Oct 30, 2012

Looks good! Merging.

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.

Renaming twice a file in the working set shows wrong name
2 participants