chiark / gitweb /
bus-proxy: minor simplifications