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