Minor logging fix.

5 jobs for migration in 24 minutes and 20 seconds (queued for 44 seconds)
Status Name Job ID Coverage
  Build
passed build #757988

00:13:36

passed buildgui #757989

00:01:01

 
  Test
passed linting #757990

00:01:53

passed tests #757991

00:07:48

83.0%
 
  Release
manual release #757992
allowed to fail manual