]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.4'
authorMatteo Beccati <mbeccati@php.net>
Wed, 3 Apr 2019 12:36:27 +0000 (14:36 +0200)
committerMatteo Beccati <mbeccati@php.net>
Wed, 3 Apr 2019 12:36:27 +0000 (14:36 +0200)
commite4d40fc05cec991ef8e913863f94aca0bcdc2fbe
treeb63784ae7dc39133c55c1a5f40721634866ed4f1
parent22b3b6d5eaf4e5be05fa26f70f9a718daa82f769
parent15ff5db6b99786f4ba2fd3b7025c9d9592d27b35
Merge branch 'PHP-7.4'

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