Merge branch 'menum' into 'v0.7.2'

Menum

See merge request !76
5 jobs for v0.7.2 in 13 minutes and 55 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build #996134

00:04:56

passed buildgui #996135

00:03:46

 
  Test
passed linting #996136

00:01:54

failed tests #996137

00:08:59

76.0%
 
  Release
skipped release #996138
allowed to fail manual
 
Name Stage Failure
failed
tests Test
No job log