]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-5.5' of https://git.php.net/push/php-src into PHP-5.5
authorPopa Adrian Marius <mapopa@reea.net>
Mon, 28 Apr 2014 09:15:53 +0000 (12:15 +0300)
committerPopa Adrian Marius <mapopa@reea.net>
Mon, 28 Apr 2014 09:15:53 +0000 (12:15 +0300)
* 'PHP-5.5' of https://git.php.net/push/php-src:
  enable gmp for tests


Trivial merge