Minor linting.

5 jobs for v0.7.2 in 13 minutes and 31 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #996108

00:05:04

passed buildgui #996109

00:03:47

 
  Test
passed linting #996110

00:01:51

passed tests #996111

00:08:07

77.0%
 
  Release
passed release #996112
manual

00:00:18