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

V0.8.0 bugfixes

See merge request !109
7 jobs for v0.8.0 in 20 minutes and 9 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build #1080178

00:10:20

 
  Test
passed gui_linting #1080180

00:01:30

passed install_tests #1080182

00:06:02

passed linting #1080179

00:05:38

passed tests #1080181

00:09:49

79.0%
 
  Deploy
manual deploy #1080183
allowed to fail manual
 
  Release
manual release #1080184
allowed to fail manual