]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Fri, 20 Oct 2017 14:55:53 +0000 (16:55 +0200)
committerAnatol Belski <ab@php.net>
Fri, 20 Oct 2017 14:55:53 +0000 (16:55 +0200)
commit07036aaccbe044c345c19c6958a56ea7310480e2
treeef159015f5613a4da584d2afe17f6d40264f2e5e
parent80e1ca50b509917ae8bf4df23751a481bb2f32c4
parentfb88cee0fcc2a37b9bb5ebf047d235dbb0ebe7b5
Merge branch 'PHP-7.2'

* PHP-7.2:
  Yet two wrong version checks