Fix issue #842

2 jobs for bug-fix-842 in 32 minutes (queued for 3 seconds)
latest
Status Name Job ID Coverage
  Verify
passed verify #2878

00:31:29

 
  Visualize
passed coverage-import #2879

00:00:30

97.0%