Skip to content
Snippets Groups Projects

Remove more dead code and make minor fixes suggested by mypy

Merged James Arcus requested to merge jimbo-cleanup into master