mercurial/util.py
changeset 22643 3b1c0e1ede4c
parent 22638 0d0350cfc7ab
child 22958 bb7a911b138e
--- a/mercurial/util.py	Fri Sep 26 12:51:55 2014 -0700
+++ b/mercurial/util.py	Thu Oct 02 12:39:37 2014 -0500
@@ -252,6 +252,12 @@
     def __delitem__(self, key):
         dict.__delitem__(self, key)
         self._list.remove(key)
+    def pop(self, key, *args, **kwargs):
+        dict.pop(self, key, *args, **kwargs)
+        try:
+            self._list.remove(key)
+        except ValueError:
+            pass
     def keys(self):
         return self._list
     def iterkeys(self):