a137e93
8d6a6a2
1 2 3
4 5 6
def unique_name(bug, bugs): return bug.name class UserError(Exception): def __init__(self, msg): Exception.__init__(self, msg)