chiark / gitweb /
Separate stdout from stderr.