-
Guido van Rossum authored
(The alternative would be to call self.checker.note() but since self.checker might be None that's not quite right.
9ab548e0
(The alternative would be to call self.checker.note() but since self.checker might be None that's not quite right.