K 10 svn:author V 5 peter K 8 svn:date V 27 1999-09-10T21:32:51.000000Z K 7 svn:log V 89 re-activate the checks, but for src/* only, and leave ports alone till after the freeze. END