K 10 svn:author V 5 steve K 8 svn:date V 27 1999-12-31T20:32:38.000000Z K 7 svn:log V 144 Don't coredump when reading in a new file using ^K-R. PR: 15741 Submitted by: Sergey N. Voronkov Reviewed by: maintainer END