chiark / gitweb /
edd_id: check that EDD id is unique