> On 30 Dec 2022, at 22:12, Paul Eggert wrote:
>
> On 12/28/22 20:02, Zack Weinberg wrote:
>
>> Please revert that part of your follow-up patch.
> OK, I reverted all that patch, except for the further changes you requested,
> plus some minor quoting and version-number fixes in comments.
>
>>
On 12/28/22 20:02, Zack Weinberg wrote:
Please revert that part of your follow-up patch.
OK, I reverted all that patch, except for the further changes you
requested, plus some minor quoting and version-number fixes in comments.
Is there any
chance you could send a wdiff to the list, after re
