From 1b1ed2c194bd045f990d336feaaf1165b9f9053e Mon Sep 17 00:00:00 2001 From: Ivan Levkivskyi Date: Wed, 19 Dec 2018 17:52:07 +0000 Subject: [PATCH] Sync mypy --- external/mypy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/external/mypy b/external/mypy index 3bea26f..01c2686 160000 --- a/external/mypy +++ b/external/mypy @@ -1 +1 @@ -Subproject commit 3bea26f89a66834f42caaa90cf8db44f99d39dcc +Subproject commit 01c268644d1d22506442df4e21b39c04710b7e8b