Subject: Re: bug#16651: 24.3.50; desktop saves temporary buffers

From: Juri Linkov <[email-masked]>
Date: Thu, 06 Feb 2014 10:45:37 +0200

> But again, whatever the default behavior, let users override
> it easily.

Users will be able to override it easily by customizing
`desktop-buffers-not-to-save'.