Commit b3918d29 authored by Luc Didry's avatar Luc Didry

Small fixes

parent 11154901
Pipeline #9233 failed with stage
in 4 minutes and 14 seconds