Re: Suggested tune/tuneup.c patch
Marco Bodrato writes: 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 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. -- Torbjörn Please encrypt, key id 0xC8601622 ___ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
Re: Suggested tune/tuneup.c patch
Ciao, Il 2019-09-11 19:37 t...@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/-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 ___ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel