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

From: Lars Ingebrigtsen <[email-masked]>
Date: Thu, 24 Sep 2020 15:58:30 +0200

Eli Zaretskii <[email-masked]> 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