Problems with editing files on v.7.1

[shlomi ben-tzvi]

HI,
Just update to new version and got into a strange issue:
a file is opened, changed. when i tried to save or to close and choose to save on the pop up --> the file is not saved!!!
If instead i choose to save on a different filename it works.
Tried that couple of times and it consistent.
Shlomi

[dail]

You probably ran into this bug.