Commit 3b100383 authored by Raphaël Hertzog's avatar Raphaël Hertzog

Merge branch 'fix-939265' into 'debian/master'

Complete previous fix on ppc64el

See merge request !3
parents 897d9627 6f6a8439
Pipeline #69965 failed with stages
in 6 minutes and 34 seconds