Subject: bug#8399: 23.3; save-some-buffers ignores buffer names

From: Eli Zaretskii <[email-masked]>
Date: Tue, 25 Aug 2020 17:42:26 +0300

> From: Lars Ingebrigtsen <[email-masked]>
> Date: Tue, 25 Aug 2020 15:29:03 +0200
> Cc: Uday S Reddy <[email-masked]>, [email-masked]
> 
> Isn't it more useful to know what files you're saving to, and not
> what buffers they're coming from?

In the usual case, i.e. where the file name is not something invented
by a VM or somesuch, I think the file name is more useful, yes.  Or at
least it could be.  So maybe we should offer this as an optional
feature, as I presume the OP's use case is somewhat rare?