Hello! I have created updated installation images for Debian Ports, please find the updated images below and test them [1]. Feedback welcome. Adrian > [1] https://cdimage.debian.org/cdimage/ports/2019-01-20/ -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaubitz@debian.org `. `' Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913