Repository navigation

Fix some more type errors under mypyc - #5585

Merged

JukkaL merged 2 commits into

Sep 7, 2018

Merged

Fix some more type errors under mypyc#5585
JukkaL merged 2 commits into
masterfrom
mypy-fixes

Commits on Sep 7, 2018
- Fix some more type errors under mypyc
  msullivan
  committed
  0f0dcc5
- add a # type: ignore for the test that failed
  msullivan
  committed
  7ecf23d