terms-to-add…1b5c0762adf54372a022d85…

Jul 19 2019

Bug fix in the python patch tests
4bf5f548d40e
·richart on Jun 16 2019, 20:10.
Bug fixing in the python interface
7bf5844d231d
·richart on Jun 16 2019, 14:52.