chiark / gitweb /
socket-proxy: clean-up indenting