Merge branch 'v0.9.0' into 'master'

V0.9.0

See merge request !188
3 jobs for v0.9.0 in 10 seconds (queued for 1 second)
latest