chiark / gitweb /
ssh keys update: Log when we find the hardlink situation