Commit 26397137 authored by jvoisin's avatar jvoisin
Browse files

Minor cleanup

parent b18e6e11
Pipeline #89699 passed with stages
in 9 minutes and 50 seconds