Merge branch 'runtest' into v1.x
authorMichael Wallner <mike@php.net>
Fri, 30 Oct 2020 19:55:25 +0000 (20:55 +0100)
committerMichael Wallner <mike@php.net>
Fri, 30 Oct 2020 19:55:25 +0000 (20:55 +0100)

Trivial merge