Jaime van Kessel 9ceb9ce18b Fix typing issues
They were caused by upgrading to a higher mypy version, which found more mistakes
2019-07-23 12:58:46 +02:00
..
2018-02-16 14:20:02 +01:00
2018-09-27 16:07:18 +02:00
2019-07-23 12:58:46 +02:00
2018-09-27 16:07:18 +02:00
2018-09-27 16:07:18 +02:00