Documentation patch for mpz_millerrabin

[Niels Möller]

Marc Glisse <marc.glisse at inria.fr> writes:

> https://github.com/sethtroisi/libgmp/pull/5.diff (or .patch for a
> different format). AFAIK you have to modify the URL by hand...

But that gives me a sequence of patches, not a single patch ("squashed",
in git terms) representing all the changes.

> (or you can just use git with the command line instead of going though
> the web interface)

Guess I'll have to do that, then. BTW, it would be nice of the gmp repo
were converted to git.

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.