chiark / gitweb /
umount: try to get rid of DM devices