bug#41473: Not saving all user options

[Eli Zaretskii]

> From: "Philip K." <philip@warpmail.net>
> Cc: npostavs@gmail.com, 41473-done@debbugs.gnu.org, bug-gnu-emacs@gnu.org 
> Date: Sat, 27 Jun 2020 11:03:03 +0200
> 
> > If the issue is to disable saving a customized variable, then we
> > already have the 'saved-value' property (and possibly other properties
> > that have special meaning for custom.el) which can be manipulated to
> > avoid the saving.
> 
> Ah, I didn't know that the property could inhibit saving! I've tried it
> out, and it works as advertised. In that case the patch of course isn't
> necessary. Sorry for the spam.

No apologies are necessary.  I'm glad I could help you resolve the
issue.