Bug#179240: unable to unmount / and /dev

[Matt Kraai <kraai@alumni.cmu.edu>]

Package: prebaseconfig
Version: 0.021
Severity: minor

Here is a transcript:

 Debian Installer Main Menu

 Choose the next step:
 Here is the main menu of the Debian installer.
   1. Choose language
 ...
  15. Finish the installation and reboot (default)
  16. Execute a shell
 Prompt: 1 - 16> [ENTER]
 umount: /dev: Device or resource busy
 umount: /: Device or resource busy
 umount: /dev: Device or resource busy
 umount: /: Device or resource busy
 Debian Installer Main Menu
 ...

The umount error messages are tacky.

Matt