K 10 svn:author V 3 jdp K 8 svn:date V 27 1997-01-02T16:44:17.000000Z K 7 svn:log V 82 Merge from main branch 1.12 -> 1.13: Fix -Wall warnings and garbage exit status. END