chiark / gitweb /
device: do not merge devices