Hi. What happened to the synchronization of news servers between news.postgresql.org and news.fr.postgresql.org. the latter is there, but the groups are empty. this is very sad since that server was very quick for us living in Europe. is it only a temporary problem or is it removed for some reason? /stig
