Merge branch 'v0.8.5' into 'master'

V0.8.5

See merge request !145
2 jobs for v0.8.5 in 51 seconds (queued for 1 second)
latest