chiark / gitweb /
Do not spew diff output to terminal (by default). Closes:#736526.