K 10 svn:author V 2 mr K 8 svn:date V 27 2004-07-16T12:50:10.000000Z K 7 svn:log V 227 After talking to Colin, apply the patch of bin/61718 (which should include/elimatate kern/61122 also). It seems to fix a few annoying bugs. PR: bin/61718, kern/61122 Submitted by: bg@sics.se ohartman@mail.physik.uni-mainz.de END