dev_settings: Fix linter error in recent mypy work.

This commit is contained in:
Tim Abbott
2017-03-04 15:34:09 -08:00
parent 75e81253f2
commit 899b59e9d6