remove wrongly located header
authorMichael Wallner <mike@php.net>
Sun, 25 Oct 2020 05:34:50 +0000 (06:34 +0100)
committerMichael Wallner <mike@php.net>
Sun, 25 Oct 2020 05:34:50 +0000 (06:34 +0100)

No differences found