** The minibuffer history of file names now records the specified file<BR>
names, not the entire minibuffer input.  For example, if the
minibuffer starts out with /usr/foo/, you might type in /etc/passwd to
get
<P>
     /usr/foo//etc/passwd
<P>
which stands for the file /etc/passwd.
<P>
Formerly, this used to put /usr/foo//etc/passwd in the history list.
Now this puts just /etc/passwd in the history list.
<P>