From 18dfe1d0cc2e363e24ee810607fc866b43ed2818 Mon Sep 17 00:00:00 2001 From: Strahinja Val Markovic Date: Tue, 10 Dec 2013 11:17:31 -0800 Subject: [PATCH] Updating to latest Jedi dev branch This should finally fix #599. --- third_party/jedi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third_party/jedi b/third_party/jedi index 4ff8b921..e3487454 160000 --- a/third_party/jedi +++ b/third_party/jedi @@ -1 +1 @@ -Subproject commit 4ff8b921a3b252895ed43b9598a5a40f0cbd487c +Subproject commit e34874543ec503747a15d455cd6a1accbe12070a