chiark / gitweb /
remove some pointless stderr redirection