in tools/registry.py [0:0]
def add_patch(self, patch_file): self.patches.append(patch_file) return self