]> granicus.if.org Git - php/commitdiff
Merge branch 'pull-request/4046' into PHP-7.4
authorPeter Kokot <peterkokot@gmail.com>
Tue, 23 Apr 2019 06:59:44 +0000 (08:59 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Tue, 23 Apr 2019 06:59:44 +0000 (08:59 +0200)
* pull-request/4046:
  Remove php.gif from the project root directory


Trivial merge