]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1' into PHP-7.2
authorChristoph M. Becker <cmbecker69@gmx.de>
Wed, 29 Nov 2017 15:59:17 +0000 (16:59 +0100)
committerChristoph M. Becker <cmbecker69@gmx.de>
Wed, 29 Nov 2017 15:59:17 +0000 (16:59 +0100)
commit995ac8a09484b91aa9da6dc7387a6506e452fff2
treefe4e28582b53a36309f06c5f095d3c06cd915f88
parentfc8793499ac6e1297b05c64bfae54b1246452ab6
parentf166ea9c09df1824862589f2938ac0779661c8f6
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Define floorf if system doesn't have it (follow up for 22c48761)