Dominik Jain
Results
111
comments of
Dominik Jain
I propose to close this. While adding `@override` is not a bad idea, it's not really necessary, as mypy does a good enough job already.