chiark / gitweb /
umount: simplify code for deactivating loop devices