Merge branch 'mj/fix-warning' into 'master'

program_solver: fallthrough: fix warning

See merge request !1
1 job for master in 3 minutes and 15 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
failed #27163
debian-stable-gcc

00:03:15

 
Name Stage Failure
failed
debian-stable-gcc Test
gnulib/gnulib-tool: *** minimum supported autoconf version is 2.63. Try adding AC_PREREQ([2.63]) to your configure.ac.
gnulib/gnulib-tool: *** Stop.
gnulib/gnulib-tool: *** minimum supported autoconf version is 2.63. Try adding AC_PREREQ([2.63]) to your configure.ac.
gnulib/gnulib-tool: *** Stop.
gnulib/gnulib-tool: *** minimum supported autoconf version is 2.63. Try adding AC_PREREQ([2.63]) to your configure.ac.
gnulib/gnulib-tool: *** Stop.
mkdir: missing operand
Try 'mkdir --help' for more information.
ERROR: Job failed: exit code 1