K 10 svn:author V 3 cjc K 8 svn:date V 27 2001-11-02T22:00:17.000000Z K 7 svn:log V 130 Fix a bug I introduced yesterday. People who built world since the previous commit yesterday may wish to check /var/run for junk. END