mercurial/repair.py
changeset 9150 09a1ee498756
parent 9125 8b58f53b9c35
child 10263 25e572394f5c
--- a/mercurial/repair.py	Thu Jul 16 10:39:41 2009 -0400
+++ b/mercurial/repair.py	Thu Jul 16 10:39:41 2009 -0400
@@ -142,3 +142,4 @@
         if backup != "strip":
             os.unlink(chgrpfile)
 
+    repo.destroyed()