[debian-edu-commits] Fixed: g-i-installation_debian-edu_stretch-daily-netinst_main-server/76

[jenkins at jenkins.debian.net]

See https://jenkins.debian.net/job/g-i-installation_debian-edu_stretch-daily-netinst_main-server/76/ and https://jenkins.debian.net/job/g-i-installation_debian-edu_stretch-daily-netinst_main-server/76//console and https://jenkins.debian.net/job/g-i-installation_debian-edu_stretch-daily-netinst_main-server/76//artifact/results/ if there are any.