Diff: origin/master...HEAD, staged and unstaged changes
55 56 57 58 59 60 61 62
for op in no_skip: if isinstance(op, str): names.add(op) else: names.add(platform.get_op_name(op)) self._no_skip_names = frozenset(names) self._dispatch_token = None self._ops_token = None