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)
commitfd5ff116e327551348907191fb38f2eddf2cf4c1
tree77300fbaeb258aa8f6e379374ca0eb569fd6d403
parent38a89fcde84f624ae4ddf09ce422c8965e790246
parentfe2201f42134ac811614d74f1d79a1a47d4f1317
Merge pull request #119 from remicollet/issue-hsieh

re-add Paul Hsieh header