Merge branch 'gh-actions' into catch
authorMichael Wallner <mike@php.net>
Mon, 5 Oct 2020 11:41:59 +0000 (13:41 +0200)
committerMichael Wallner <mike@php.net>
Mon, 5 Oct 2020 11:41:59 +0000 (13:41 +0200)

Trivial merge