[debian-edu-commits] Still Failing: chroot-installation_forky_install_education-desktop-mate_upgrade_to_sid/7

[jenkins at jenkins.debian.net]

See https://jenkins.debian.net/job/chroot-installation_forky_install_education-desktop-mate_upgrade_to_sid/7//console or just https://jenkins.debian.net/job/chroot-installation_forky_install_education-desktop-mate_upgrade_to_sid/7/ for more information.