]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorMatteo Beccati <mbeccati@php.net>
Wed, 3 Apr 2019 12:36:11 +0000 (14:36 +0200)
committerMatteo Beccati <mbeccati@php.net>
Wed, 3 Apr 2019 12:36:11 +0000 (14:36 +0200)
commit9f02f9fd5c1c0c28b0adc5dd48d1b195dc16e7d8
tree0302279e087616c2ad0e5d2c41823cb258dcae2a
parent0f811bb7b65854b3548e55f1a38ffd243a4d5e5d
parent4029c0b6a2908096b9dd49797260daafdae5558d
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Ref #76801 remove old file source from file_sources hash in case of file included more than once