Merge pull request #1899 from rubenk/python-fixes-for-interactive-sessions
authortrenkel <github@semidefinite.de>
Tue, 23 Aug 2016 15:18:57 +0000 (17:18 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Aug 2016 15:18:57 +0000 (17:18 +0200)
python plugin: Fixing possible problems with the GIL in interactive sessions.


Trivial merge