Merge branch 'v0.8.1' into 'master'

V0.8.1

See merge request !123
7 jobs for master in 18 minutes and 59 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #1102575
build

00:08:53

 
  Test
passed #1102577
gui_linting

00:01:27

passed #1102579
install_tests

00:07:04

passed #1102576
linting

00:05:58

passed #1102578
tests

00:10:04

77.0%
 
  Deploy
manual #1102580
allowed to fail manual
deploy
 
  Release
manual #1102581
allowed to fail manual
release