Commit 7dd0d735 authored by Martin Reinecke's avatar Martin Reinecke

small tweak

parent 426d824c
Pipeline #25413 passed with stages
in 5 minutes and 45 seconds