Prepare release of 0.12.1

2018-06-29 18:10:41 +02:00
parent 68974aee58
commit 1e7662c3e1
3 changed files with 8 additions and 2 deletions
@@ -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.12.0'
+__version__ = '0.12.1'

 from jedi.api import Script, Interpreter, set_debug_function, \
    preload_module, names