minifix

4 jobs for master in 10 minutes and 17 seconds (queued for 12 seconds)
Status Job ID Name Coverage
  Build
passed #490
build_debug

00:02:28

passed #491
build_opt

00:06:24

 
  Test
passed #492
test_debug

00:01:06

passed #493
test_opt

00:00:19