chiark / gitweb /
Remove useless use of cat causing pipefail problems