Code

Merge pull request #1289 from trenkel/master
authortrenkel <github@semidefinite.de>
Wed, 7 Oct 2015 14:51:29 +0000 (16:51 +0200)
committertrenkel <github@semidefinite.de>
Wed, 7 Oct 2015 14:51:29 +0000 (16:51 +0200)
python: Fix double-free bug.


Trivial merge