Subject: bug#10773: set-variable can't change values of user options

From: Stefan Monnier <[email-masked]>
Date: Sat, 11 Feb 2012 23:34:15 -0500

> But I think that has been previously rejected.

That was a long time ago.  We should do it for 24.2.

        Stefan