Fixed linting.

7 jobs for bugfixes in 19 minutes and 31 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build #1093425

00:09:15

 
  Test
passed gui_linting #1093427

00:01:46

passed install_tests #1093429

00:07:19

passed linting #1093426

00:05:58

passed tests #1093428

00:10:15

79.0%
 
  Deploy
manual deploy #1093430
allowed to fail manual
 
  Release
manual release #1093431
allowed to fail manual