diff -r abb7d4d43a5f -r 09a1ee498756 mercurial/repair.py --- 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()