Run unmount of chroot's /dev twice
authorMichael Prokop <mika@grml.org>
Mon, 30 Jan 2012 12:33:52 +0000 (13:33 +0100)
committerMichael Prokop <mika@grml.org>
Fri, 24 Feb 2012 13:30:25 +0000 (14:30 +0100)
Closes: #657023
Thanks: Michael Hanke <mih@debian.org> for reporting and testing


No differences found