Re: Time to merge scratch/correct-warning-pos into master, perhaps?

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Stefan Monnier <monnier@iro.umontreal.ca>,  Eli Zaretskii
>  <eliz@gnu.org>,  emacs-devel@gnu.org
> Date: Sat, 22 Jan 2022 16:26:27 +0100
> 
> Alan Mackenzie <acm@muc.de> writes:
> 
> > Each of the following two sets of results was obtained from my machine
> > starting emacs --no-desktop, and represents the second run of
> > elisp-benchmarks on each build.  The state of master was merged into the
> > branch this morning, and both builds were redone this morning, too.
> 
> Looks good to me, then, so unless Eli has any objections, merging the
> branch is fine by me.

No objections.