Has gmp been already ported to support aarch64 (arm64)?

[Torbjorn Granlund]

Anil Singhar <anil.singhar at linaro.org> writes:

  Could anyone please confirm if gmp has been already ported to aarch64?
  I saw a release note for 5.1.1 that mentioned "arm64 support works", so
  just want to confirm to avoid any duplication of effort.
  
I can confirm that the GMP 5.1.1 release notes are correct.

[Cross-posting to multiple GMP mailing is considered inappropriate.]

-- 
Torbjörn