> From: Yuan Fu <casouri@gmail.com>
> Date: Mon, 22 Apr 2024 21:26:06 -0700
> Cc: Prateek Sharma <ps.prateek.sharma143@gmail.com>,
>  70478@debbugs.gnu.org
>
> > On Apr 22, 2024, at 9:21 AM, Eli Zaretskii <eliz@gnu.org> wrote:
> >
> > No need to revert, as the patch was quite small, AFAIR, below the threshold.
>
> Oh right. Somehow I thought the patch are larger than it actually it. False alarm!

Well, the commit log message should have had the
"Copyright-paperwork-exempt" cookie, but given that the paperwork is
in the works, this is not a grave problem.