Commit 9d537434 authored by mh's avatar mh

no need to double define it

parent bf17360f
Pipeline #3972 failed with stages
in 17 minutes and 36 seconds