chiark / gitweb /
usb-db: remove double '/'