msherry Small reorder of mypy flags generation
Latest commit 427e54a Aug 20, 2018