From 7b82bdab26141cab8752e3debec402dc3e138dce Mon Sep 17 00:00:00 2001 From: micbou Date: Sat, 23 Jun 2018 14:54:56 +0200 Subject: [PATCH] Include Jedi performance improvements --- third_party/jedi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third_party/jedi b/third_party/jedi index 70c2fce9c2..282c6a2ba1 160000 --- a/third_party/jedi +++ b/third_party/jedi @@ -1 +1 @@ -Subproject commit 70c2fce9c2317cae8ad0e4ecd7fc44816f5e43f9 +Subproject commit 282c6a2ba1d5bf175342a8a09b6428071a7e3856