* configure.ac: Bump minimum GMP version to 4.2.3.
commit385c06817b589184432e39c9cd318ec7e32d3de4
authorDiego Novillo <dnovillo@google.com>
Thu, 6 Sep 2012 18:14:58 +0000 (6 14:14 -0400)
committerDiego Novillo <dnovillo@gcc.gnu.org>
Thu, 6 Sep 2012 18:14:58 +0000 (6 14:14 -0400)
treec4ae693b496fc24bc76b08954ddbb4db3f2c49e2
parentd435a4be2a1fddc642ddaa4de055178f152ecf1b
* configure.ac: Bump minimum GMP version to 4.2.3.

From-SVN: r191037
ChangeLog
configure
configure.ac