franzen (Marco Franzen) (07/29/89)
When I rename a file with rename-file, the buffer-file-name of buffers visiting it remain unchanged. This is probably not a bug, but can have confusing effects when you visit the file again via the new name. Marco