Suggested tune/tuneup.c patch

[Marco Bodrato]

Ciao,

Il 2019-09-11 19:37 tg at gmplib.org ha scritto:
> I added a history preservation feature to the .../devel/thres/ pages.  
> At
> 23:59 each night, all pages are copied to .../devel/thres/YYYY-MM-DD.
> 
> (There is no index, one needs to type in the wanted date manually.)

Is this still active?
I can access https://gmplib.org/devel/thres/2021-10-30/ , but I'd like 
to check how FAC_ODD_THRESHOLD evolves after my last commit to fac_ui... 
and I find an empty page if I look at
https://gmplib.org/devel/thres/2021-10-30/FAC_ODD_THRESHOLD

Ĝis,
m