redo mosys changes

1 job for mosys-nav-changes in 7 minutes and 55 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #30462
code_quality

00:07:55