chiark / gitweb /
manager: only issue overmount warning when the check succeeded