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)
commit89be8ccf23c003d22d112de0fe5417d747fa20a4
treeccd478708e829ac53059c8468b21e097011e4426
parent7a43e0b7b46589add8b7a3e7a870dc6485e04cdf
parent8422e7e438bf34c075af3b1b6380fe8c1fb82bf9
Merge pull request #1899 from rubenk/python-fixes-for-interactive-sessions

python plugin: Fixing possible problems with the GIL in interactive sessions.