>>>>> 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
-- 

Reply via email to