Add a new release 0.13.2

2018-12-15 20:08:16 +01:00
parent 078595f8d7
commit 86ae11eb43
2 changed files with 6 additions and 1 deletions
--- a/CHANGELOG.rst
+++ b/CHANGELOG.rst
@@ -3,6 +3,11 @@
 Changelog
 ---------

+0.13.2 (2018-12-15)
+++++++++++++++++++
+
+- Fixed a bug that led to Jedi spawning a lot of subprocesses.
+
 0.13.1 (2018-10-02)
 +++++++++++++++++++

--- 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.13.1'
+__version__ = '0.13.2'

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