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

[Eli Zaretskii]

> Date: Sat, 22 Jan 2022 18:45:03 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: Mattias Engdegård <mattiase@acm.org>, 
>     Lars Ingebrigtsen <larsi@gnus.org>, Eli Zaretskii <eliz@gnu.org>, 
>     Stefan Monnier <monnier@iro.umontreal.ca>, emacs-devel@gnu.org
> 
> > However the bootstrap is still faster than it was this time last week, 
> > due to commit 10083e788f7349fa363d100687dc3d94bea88f57 on Thursday.
> 
> That is only true for those who use --with-native-compilation.  I don't.

It's supposed to be faster even without native compilation, albeit
perhaps not by the same amount.