K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2001-02-12T03:31:23.000000Z
K 7
svn:log
V 116
It sounded like a good idea at the time.  The previous change breaks
FILE *buffer = stdout;
so back it out for now.

END