# HG changeset patch # User Thomas Arendsen Hein # Date 1199621830 -3600 # Node ID 41ca0e20117e11c8ea9f5f7c91d7202b1808d5a9 # Parent 180a3eee4b756498ec1e6e548a61eb6d77635ea7# Parent 1b230f506346a139344ad80005d90487f56c4ca2 merge with crew-stable diff -r 180a3eee4b75 -r 41ca0e20117e mercurial/localrepo.py