Re: Optimize mul_var() for var1ndigits >= 8

[Dean Rasheed]

On Sat, 24 Aug 2024 at 19:17, Tom Lane <t...@sss.pgh.pa.us> wrote:
>
> About a dozen buildfarm members are complaining
>

Ah, OK. I've pushed a fix.

Regards,
Dean