Hi Bruno, > Can you please review this proposed patch?
Yes, the patch is correct. Please apply it. > - The documentation of this script says that download.gnu.org.ua is > supported, but the actual upload happens to puszcza.gnu.org.ua. To make the long story short, the two names used to point to the same IP in the past. However, it is no longer the case. > - The two machines have different IP addresses: Right. > - Both appear to be located in the same data center in Falkenstein > (Germany). That's true. I relocated the servers to Hetzner. Best regards, Sergey
