ni...@lysator.liu.se (Niels Möller) writes:

  > I guess I'm not familiar with hg/gmp work flow. Is checked in
  > different from commited to the repo? I don't see the change appearing
  > in the repo[1] and my local fresh clone doesn't have it either.
  >
  > [1] https://gmplib.org/repo/gmp/
  
  Maybe there's something wrong with the mirroring to the public repo?
  
Indeed.  The freebsd-update utility is truly impressive.  It deleted
lots of stuff, including /usr/bin/ssh.

Now mirroring works again.

-- 
Torbjörn
Please encrypt, key id 0xC8601622
_______________________________________________
gmp-devel mailing list
gmp-devel@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-devel

Reply via email to