@jgillis jgillis released this Apr 11, 2018

Assets 37
Merge branch 'master' of github.com:casadi/casadi into release-3.4.1