chiark / gitweb /
mount: consider a mount successful if /bin/mount returned successfully but /proc...