]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1' into PHP-7.2
authorAnatol Belski <ab@php.net>
Wed, 20 Dec 2017 17:50:10 +0000 (18:50 +0100)
committerAnatol Belski <ab@php.net>
Wed, 20 Dec 2017 17:50:10 +0000 (18:50 +0100)
commitdcc3f00090fc750f17aed4bf5ab4099bc91de75a
tree7120c437053f93f423c508b746ff6157218a123e
parentac4da9a0ede87a437bc75f6135e103e2d3747b09
parentc2308d5d7cb281b2e2b36774bbc4863429fab0bc
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Templatize driver name in the expected string