[Health-dev] health.gnu.org/downloads down?

[Axel Braun]

Hi,

I cant get into the directory of postgres-dumps. Is there a problem with the 
server?
Thanks
Axel