Merge branch 'v0.8.2' into 'master'

0.8.2 release

See merge request !134
5 jobs for v0.8.2 in 10 minutes and 9 seconds (queued for 3 seconds)
latest