Merge branch 'release-0.9.0' into 'master'

Bump v0.9.0.

See merge request !167
2 jobs for master
in 4 minutes and 14 seconds and was queued for 1 second