Fixed linting.

9 jobs for v0.8.3 in 36 minutes and 21 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #1121237

00:14:46

 
  Test
passed dev_setup_tests #1121242

00:10:43

passed gui_linting #1121239

00:01:42

passed install_tests #1121241

00:07:00

passed linting #1121238

00:06:06

passed tests #1121273

00:10:50

77.0%
failed tests #1121240

00:10:39

77.0%
 
  Deploy
manual deploy #1121243
allowed to fail manual
 
  Release
manual release #1121244
allowed to fail manual