chiark / gitweb /
umount: log_info about what we unmounted