Bug Fixes for the Debian Installer