K 10 svn:author V 3 jkh K 8 svn:date V 27 1996-12-17T19:30:37.000000Z K 7 svn:log V 30 Merge r1.6 (fix for PR#1864). END