Re: TODO: insert-file should warn if the file is modified

[Pavel Janík]

   From: Andreas Schwab <address@hidden>
   Date: Fri, 19 Apr 2002 16:33:47 +0200

   > You can use the buffer-file-truename for that.

This is buffer-local variable. I think it is better to use file-truename
instead.
-- 
Pavel Janík

So calm down guys. And improving the benchmark might not be a bad idea.
                  -- Linus Torvalds in linux-kernel