Suggested tune/tuneup.c patch

[Marco Bodrato]

Ciao,

Il 2021-11-01 01:04 Torbjörn Granlund ha scritto:
> Marco Bodrato <bodrato at mail.dm.unipi.it> writes:

>   fac_ui... and I find an empty page if I look at
>   https://gmplib.org/devel/thres/2021-10-30/FAC_ODD_THRESHOLD
> 
> Still there, but for some reason nginx had stopped serving gz pages, 
> and
> there were no non-gzip pages on the server.  I made a quick workaround.

And the workaround works. Thanks!

Ĝis,
m