From dc9400c6202d7a441d5a5811fc40058b4070b1b7 Mon Sep 17 00:00:00 2001 From: Fabio Zadrozny Date: Sat, 28 Oct 2023 07:14:34 -0300 Subject: [PATCH] Update to latest typeshed. --- plugins/org.python.pydev.core/typeshed | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/org.python.pydev.core/typeshed b/plugins/org.python.pydev.core/typeshed index 5477097c6d..49ba409da8 160000 --- a/plugins/org.python.pydev.core/typeshed +++ b/plugins/org.python.pydev.core/typeshed @@ -1 +1 @@ -Subproject commit 5477097c6de5bc873a65b7b8749ff41876f5aa69 +Subproject commit 49ba409da8906d7950dfedc7b34c3dea67bb0db9