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

From: Dani Moncayo <[email-masked]>
Date: Sat, 25 Jan 2014 09:19:00 +0100

> 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.