mpz_gcd_ext(NULL, ...)

[Torbjörn Granlund]

nisse at lysator.liu.se (Niels Möller) writes:

  www-update failed, though:
  
    [nisse at shell /var/hg]$ ./www-update 
    Checking out www.
    destination directory: www
    updating to branch default
    201 files updated, 0 files merged, 0 files removed, 0 files unresolved
    Compressing .html and .txt. This can take a minute.
    ssh: connect to host www.gmplib.org port 22: Operation timed out
    rsync: connection unexpectedly closed (0 bytes received so far) [sender]
    rsync error: error in rsync protocol data stream (code 12) at io.c(226) [sender=3.1.2]

I updated the script to supply an explicit port number (so no
.ssh/config is needed).

-- 
Torbjörn
Please encrypt, key id 0xC8601622