def add_patch()

in tools/registry.py [0:0]


  def add_patch(self, patch_file):
    self.patches.append(patch_file)
    return self