chiark / gitweb /
Don't turn tracing on if tracing is turned off (!).