160
160
# to_read is a stack holding the revisions we still need to process;
161
161
# appending to it adds new highest-priority revisions
162
162
self.known_revisions = set(rev_history)
165
165
rev_id = self.to_read.pop()
166
166
if (rev_id not in self.revisions