author | trenkel <github@semidefinite.de> | |
Tue, 23 Aug 2016 15:18:57 +0000 (17:18 +0200) | ||
committer | GitHub <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