Yichao Yu <yyc1...@gmail.com> writes: >> Patch checked in now. > > 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? It's missing my checkin and a previous one of Torbjörn's, compared to what I see with ssh access to shell.gmplib.org/var/hg/gmp. Regards, /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26. Internet email is subject to wholesale government surveillance. _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel