bug#16542: 24.3.50; When finding a file via a bookmark, that file is not part of file-name-history

[Dani Moncayo]

> The subject line says it all.
>
> This trivial patch fixes it.
>
> Comments welcome,

FWIW: There are other cases (besides "via the bookmarks buffer") where
a file is visited but not added to the file-name-history.

Bug #12915 contains a general discussion about the matter.