From 5719a5e0806703b2c51084c3a53507556aedaa48 Mon Sep 17 00:00:00 2001 From: Strahinja Val Markovic Date: Mon, 21 Oct 2013 12:49:34 -0700 Subject: [PATCH] Updating to latest upstream Jedi (dev branch) This fixes #599. --- third_party/jedi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third_party/jedi b/third_party/jedi index 78f1ae5e..099fe4ee 160000 --- a/third_party/jedi +++ b/third_party/jedi @@ -1 +1 @@ -Subproject commit 78f1ae5e7163bda737433f1d551b3180cf03e1d1 +Subproject commit 099fe4eeb3544005a8e2ffdaae43fd8a12c82f16