Closed felixfontein closed 2 months ago
Let's get rid of it; mypy should be enough.
Good point. I moved it to the section trivial which isn't rendered.
trivial
@gotmax23 thanks for reviewing this!
Let's get rid of it; mypy should be enough.