summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-151-0/+12