Commit 5d12e676 authored by Etienne Renault's avatar Etienne Renault

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

program_solver: fallthrough: fix warning

See merge request !1
parents 3a936754 32f31dfc
Pipeline #5377 failed with stage
in 3 minutes and 15 seconds