Bill Allombert on Mon, 23 Mar 2020 12:00:33 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

pari server scheduled downtime (2020/03/23 12:00 GMT)


Dear PARI developpers,

I will upgrade the pari server to Debian 10 this afternoon (GMT),
so there should a small downtime while it reboots.

Cheers,
Bill.