1800         # output for later display in the desired order.

  1800         # output for later display in the desired order.

  1801         def __init__(self, ui):

  1801         def __init__(self, ui):

  1802             self.ui = ui

  1802             self.ui = ui

  1803             self.hunk = {}

  1803             self.hunk = {}

  1804             self.header = {}

  1804             self.header = {}

  1805         def bump(self, rev):

  1808         def bump(self, rev):

  1806             self.rev = rev

  1809             self.rev = rev

  1807             self.hunk[rev] = []

  1810             self.hunk[rev] = []

  1808             self.header[rev] = []

  1811             self.header[rev] = []

  1809         def note(self, *args):

  1812         def note(self, *args):