mercurial/repair.py
changeset 18310 4499ba5ac35c
parent 18121 f8a13f061a8a
child 18311 084074648755
--- a/mercurial/repair.py	Sun Dec 16 23:13:02 2012 +0200
+++ b/mercurial/repair.py	Sat Dec 15 20:08:13 2012 +0200
@@ -61,6 +61,7 @@
     # have to consider the effect of the stripped revisions and not revisions
     # missing because the cache is out-of-date.
     branchmap.updatecache(repo)
+    repo.destroying()
 
     cl = repo.changelog
     # TODO handle undo of merge sets