K 10 svn:author V 3 jkh K 8 svn:date V 27 1994-02-17T22:20:36.000000Z K 7 svn:log V 161 Put this back - I was somehow under the erroneous impression that patch was in ports, until I saw the the commit messages, that is! :-) All changed backed out. END