Commit 660f0dea authored by jvoisin's avatar jvoisin
Browse files

Fix the dolphin integration

Kudos to Miguel Angel Marco Buzunariz for the original patch.
parent cd2b9af9
Pipeline #73653 passed with stages
in 3 minutes and 45 seconds