bug#12507: [debbugs-tracker] Processed: severity 12507 wishlist

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

> Maybe this would be a good feature to have, but going back to the
> original problem of bookmark file, I think that the easiest fix is to
> go back to using write-file.

Sure; I have no opinion about going back to using write-file in
bookmark.el, but Karl's backup-file (or whatever it's going to be
called) patch should be applied in any case.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no