chiark / gitweb /
manager: cast mkdir() result to (void) to make sure coverity is quiet