Re: [PATCH] Don't quote symbols in defcustom types

[Robert Pluim]

>>>>> On Tue, 14 Jun 2022 22:04:10 +0800, Ihor Radchenko <yanta...@gmail.com> 
>>>>> said:

    Ihor> Daniel Fleischer <danfl...@gmail.com> writes:
    >> Thanks for the patch, merged. 

    Ihor> BTW, should it be a TINYCHANGE?

What's a TINYCHANGE?

Robert
--