From 084995c3782898b93c1c922924a8d1f3d134abd0 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Tue, 13 Aug 2019 01:29:01 +0200 Subject: [PATCH] Bump version --- jedi/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__init__.py b/jedi/__init__.py index 28cb035a..f8303477 100644 --- a/jedi/__init__.py +++ b/jedi/__init__.py @@ -33,7 +33,7 @@ As you see Jedi is pretty simple and allows you to concentrate on writing a good text editor, while still having very good IDE features for Python. """ -__version__ = '0.15.1' +__version__ = '0.15.2' from jedi.api import Script, Interpreter, set_debug_function, \ preload_module, names