chiark / gitweb /
mic-table-clamp: fixes from v1