[debian-edu-commits] Fixed: chroot-installation_stretch_install_education-thin-client-server_upgrade_to_sid/294

[jenkins at jenkins.debian.net]

See https://jenkins.debian.net/job/chroot-installation_stretch_install_education-thin-client-server_upgrade_to_sid/294//console or just https://jenkins.debian.net/job/chroot-installation_stretch_install_education-thin-client-server_upgrade_to_sid/294/ for more information.