Commit 33a0ce8e authored by ale's avatar ale

Use float_debian_dist for apt tasks that specify 'default_release'

Otherwise we risk referencing a source repo that does not exist, as
is the case for stretch-backports during a stretch -> buster upgrade.
parent e874c670
Pipeline #6150 failed with stages
in 20 minutes and 30 seconds