Oops, I forgot to flag this one STABLE. I suppose it doesn't have to go on stable (it's purely cleanup rather than fixing a bug), but it follows right on to my previous patch to shrink-revlog.py, which was on stable. Greg