[debian-edu-commits] Failure: chroot-installation_buster_install_education-menus_upgrade_to_sid/16

[jenkins at jenkins.debian.net]

See https://jenkins.debian.net/job/chroot-installation_buster_install_education-menus_upgrade_to_sid/16//console or just https://jenkins.debian.net/job/chroot-installation_buster_install_education-menus_upgrade_to_sid/16/ for more information.