From 1be5487fff693d342153482627022f1fadcd63a8 Mon Sep 17 00:00:00 2001 From: Jukka Lehtosalo Date: Wed, 30 Oct 2019 15:32:37 +0000 Subject: [PATCH] Sync typeshed (#7825) This syncs to an earlier commit than #7819 to avoid a problematic commit. --- mypy/typeshed | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mypy/typeshed b/mypy/typeshed index 7c6104ddfe00..47700598948e 160000 --- a/mypy/typeshed +++ b/mypy/typeshed @@ -1 +1 @@ -Subproject commit 7c6104ddfe000b76cb52b1bc01046138c233aeec +Subproject commit 47700598948eca4d9b37f8f395f346b0ccb5100a