varspool/Wrench — pull request #36 by dominics (2013-05-19 08:16:19+00:00)
Title: Correct use of gmp_init()

As suggested by @Rupert-RR. Fixes #34