Documentation patch for mpz_millerrabin

[Niels Möller]

Seth Troisi <braintwo at gmail.com> writes:

> I updated the version assuming the next version is 6.13.
> https://github.com/sethtroisi/libgmp/pull/3 (add .patch to see patches)

Could also rephrase it as something like 

  GMP versions up to and including 6.1.2 did not use the Baillie-PSW
  primality test. In those older versions of GMP, this function
  performed @var{reps} Miller-Rabin tests.

to avoid guessing future release numbering. Not sure if this change is
also worthy of mention in the section Compatibility with older versions?

Regards,
/Niels

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