Merge pull request #119 from remicollet/issue-hsieh
authorMichael Wallner <mike@php.net>
Fri, 30 Jul 2021 06:34:25 +0000 (08:34 +0200)
committerGitHub <noreply@github.com>
Fri, 30 Jul 2021 06:34:25 +0000 (08:34 +0200)
re-add Paul Hsieh header


Trivial merge