]> granicus.if.org Git - php/commit
Merge branch 'pull-request/1807' into PHP-7.0
authorJoe Watkins <krakjoe@php.net>
Tue, 10 Jan 2017 13:56:26 +0000 (13:56 +0000)
committerJoe Watkins <krakjoe@php.net>
Tue, 10 Jan 2017 13:56:26 +0000 (13:56 +0000)
commit6a9efa2d3e6180c3df23dc8b7832f17b5de6acde
treebf49a8e6cb0ae9ecc9214ea03ff989b55a6e490e
parent1bdffee820d92f558d883bd1aa41bebc739e2980
parentdcaed51ba0833fb2010d310bbc80f6ce73892b3d
Merge branch 'pull-request/1807' into PHP-7.0

* pull-request/1807:
  test for dns_get_record