=== modified file 'launchpadBugs/HTMLOperations.py'
--- launchpadBugs/HTMLOperations.py	2007-07-03 17:27:39 +0000
+++ launchpadBugs/HTMLOperations.py	2007-07-04 18:12:14 +0000
@@ -95,6 +95,10 @@
         return int(self.nr)
     def __repr__(self):
         return str(self.nr)
+    def __hash__(self):
+        return int(self.nr)
+    def __eq__(self, other):
+        return hash(self) == hash(other)
 
 class BugPage(object):
     def __init__(self, URL):