On Fri, Oct 30, 2015 at 06:06:26PM +0100, Ludovic Courtès wrote: > So we need another solution. Any suggestions?
I would not mind hosting it on enge.fr, but this is of course less reliable than "real" hosting, since the machine is in my living room. Alternatively, I could host it with a commercial hoster at multiprecision.org. Andreas
