@jgillis jgillis released this May 3, 2018

Assets 37
Merge branch 'develop' of github.com:casadi/casadi into release-3.4.3