Minor lining.

5 jobs for v0.7.2 in 19 minutes and 39 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build #997277

00:11:09

passed buildgui #997278

00:04:01

 
  Test
passed linting #997279

00:02:18

passed tests #997280

00:08:06

76.0%
 
  Release
passed release #997281
manual

00:00:22