chiark / gitweb /
Fix broken db creation