Cryolite/intro — pull request #83 by Cryolite (2014-06-26 06:38:17+00:00)
Title: Added a workaround for a bug in GMP configure script.

* gmp/jamfile: Added a workaround for a bug in GMP configure script.