Hi, "Jean-Luc Coulon (f5ibh)" <jean-luc.coulon@xxxxxxxxxx> writes: > Thanks, I will wait until tomorrow, I'm not in a hurry ;-) Waiting until tomorrow will not necessarily fix it. The problem is that there are two anoncvs servers and one of them is broken. If you are using anoncvs.gnome.org you are using a DNS round-robin: $ host anoncvs.gnome.org anoncvs.gnome.org has address 130.239.18.151 anoncvs.gnome.org has address 138.100.8.6 The second one is broken for quite a while already. You better use anoncvs.gimp.org which is an alias for the first (usually very well-working) anoncvs server. Sven
