Commit 22199df4 authored by jvoisin's avatar jvoisin
Browse files

Please the linters wrt. the previous commit

parent 1703ed6e
Pipeline #70579 passed with stages
in 3 minutes and 54 seconds