Minor fixes to mirror API.

5 jobs for v0.7.6 in 14 minutes and 55 seconds
Status Name Job ID Coverage
  Build
passed build #1004696

00:05:24

passed buildgui #1004697

00:03:55

 
  Test
passed linting #1004698

00:02:31

passed tests #1004699

00:09:30

76.0%
 
  Release
manual release #1004700
allowed to fail manual