]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.0'
authorXinchen Hui <laruence@gmail.com>
Wed, 11 May 2016 09:32:06 +0000 (17:32 +0800)
committerXinchen Hui <laruence@gmail.com>
Wed, 11 May 2016 09:32:06 +0000 (17:32 +0800)
* PHP-7.0:
  Fixed Bug #72193 (dns_get_record returns array containing elements of type 'unknown')


Trivial merge