Fold integer-gmp.git into ghc.git (re #8545)
authorHerbert Valerio Riedel <hvr@gnu.org>
Sat, 19 Apr 2014 07:55:00 +0000 (09:55 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sat, 19 Apr 2014 07:55:00 +0000 (09:55 +0200)
At the time of merge, integer-gmp.git was at
[d7bff4dddfa10389156ca11f75a5a23e78cf3ab0/integer-gmp]

Note: All but the last/current GMP tarball were removed from the
      history to keep the Git history size at a minimum.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Trivial merge