Small fix.

9 jobs for bugfixes in 21 minutes and 51 seconds
Status Name Job ID Coverage
  Build
passed build #1182898

00:09:06

failed build #1182867

00:25:06

 
  Test
passed dev_setup_tests #1182872

00:11:05

passed gui_linting #1182869

00:02:25

passed install_tests #1182871

00:08:29

passed linting #1182868

00:07:26

passed tests #1182870

00:12:44

77.0%
 
  Deploy
manual deploy #1182873
allowed to fail manual
 
  Release
manual release #1182874
allowed to fail manual