K 10 svn:author V 6 trevor K 8 svn:date V 27 2003-09-24T16:18:13.000000Z K 7 svn:log V 148 Work around a problem found by Bill Fenner's survey: the patch file has been in my ~/public_distfiles/ but never got distributed to the FTP sites. END