Merge branch 'catch' into v1.x
authorMichael Wallner <mike@php.net>
Tue, 13 Oct 2020 16:24:11 +0000 (18:24 +0200)
committerMichael Wallner <mike@php.net>
Tue, 13 Oct 2020 16:24:11 +0000 (18:24 +0200)
commit7e2b466107a65e22f1cc258ca8643922dbb60352
treebbc1f9c904dd6e6219baa62e51ad30e1f862088a
parent3bc1260804b987d5d912ccc9c3c164c4b6dade56
parent5b0307a7a34f2b53e93a18be5f81439180b07ac4
Merge branch 'catch' into v1.x