Merge branch 'v0.8.0-bugfixes' into 'v0.8.0'

V0.8.0 bugfixes

See merge request !114
7 jobs for v0.8.0 in 18 minutes and 33 seconds (queued for 3 seconds)