Created release branch for 1.9.0
Merge branch 'develop' into release-1.9.0
release-update commit
Merging in develop
Merge remote-tracking branch 'origin/develop' into release-1.9.0
Merge remote-tracking branch 'origin/develop' into release-1.9.0
release-update commit
Merge remote-tracking branch 'origin/develop' into release-1.9.0
release-update commit
Merge changes from release-1.9.0 to develop.
Merge branch 'develop' of github.com:casadi/casadi into develop