[GiNaC-list] website down?

[Jens Vollinga]

Hi,

Burcin Erocal schrieb:
> The GiNaC web site seems to be down at the moment. Does anyone know when
> it will be back up?

it is up at the moment. There was a reboot of the server at 10:07 for 
some reason.

Regards,
Jens