log

age author description
Sun, 21 Feb 2010 13:27:25 +0100 Bruno Haible Really work around around "broken pipe" error message from bash 3.2.