diff options
author | Joey Hess <joey@kitenet.net> | 2013-11-26 12:24:21 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-11-26 12:24:21 -0400 |
commit | e5b710e1f25a2540405024a3a930101b011bca91 (patch) | |
tree | 707145ba78019deb760950df44930791e1c2e3dc | |
parent | 34baa822da94465b70d11c941f60e93809e3ac4c (diff) |
fixed accidentially
-rw-r--r-- | doc/bugs/repair_fails_when_home_on_seperate_partition.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/bugs/repair_fails_when_home_on_seperate_partition.mdwn b/doc/bugs/repair_fails_when_home_on_seperate_partition.mdwn index 0db4d8d41..19780c7de 100644 --- a/doc/bugs/repair_fails_when_home_on_seperate_partition.mdwn +++ b/doc/bugs/repair_fails_when_home_on_seperate_partition.mdwn @@ -52,3 +52,9 @@ git-annex: repair: 1 failed # End of transcript or log. """]] + +> Thanks for reporting. As far as I can see, this was fixed +> accidentially, when I rewrote the packed refs file handling code to not +> re-write the file. It had been using a temp file, and renaming it, thus +> the problem. I checked the repair code and can find no other probems +> of this sort currently in it. [[done]] --[[Joey]] |