From f37089e54b156b562d2940d295b1781697d0a703 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Fri, 15 Dec 2017 10:47:14 +0100 Subject: [PATCH] Bump the version number --- jedi/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__init__.py b/jedi/__init__.py index 1a1080ad..0676121c 100644 --- a/jedi/__init__.py +++ b/jedi/__init__.py @@ -36,7 +36,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.11.1' +__version__ = '0.12.0' from jedi.api import Script, Interpreter, set_debug_function, \ preload_module, names