Eli Zaretskii <eliz@gnu.org> writes:

>> From: Juri Linkov <juri@linkov.net>
>> Date: Thu, 22 Feb 2018 23:59:42 +0200
>> 
>> > This patch is for master:
>> 
>> Pushed to master and closed.
>
> Thanks, but please in the future leave more than just 2 days for
> people to comment on the patches you propose.
>
> IMO, this change needs to be mentioned in NEWS.

Might I suggest the following as well? Does this need mentioning in
the info docs?