chiark / gitweb /
bus-proxy: fix indentation