Eli Zaretskii <eliz@gnu.org> writes:

>> From: Daniel Mendler <mail@daniel-mendler.de>
>> Cc: Juri Linkov <juri@linkov.net>,  76028@debbugs.gnu.org,
>>   stefankangas@gmail.com
>> Date: Fri, 07 Feb 2025 10:44:49 +0100
>> 
>> Eli Zaretskii <eliz@gnu.org> writes:
>> 
>> > I think this does have to be called out in NEWS, including the new
>> > user option.  In a sense, this is an incompatible behavior change, so
>> > we cannot introduce it silently.
>> 
>> Agree. I have attached an updated patch to this mail, where the change
>> is announced in the NEWS.
>
> Thanks, I have a few minor comments below.

Thanks. I have attached an updated patch with an improved NEWS entry to
this mail. Also thank you for the explanation regarding --- and +++.

Daniel