Thanks for your report. I assigned this bug to debian-installer so the right people can have a look at it.
Thanks for your report. I assigned this bug to debian-installer so the right people can have a look at it.