fix bug title
authorMichael Wallner <mike@php.net>
Mon, 12 Sep 2016 06:24:37 +0000 (08:24 +0200)
committerMichael Wallner <mike@php.net>
Mon, 12 Sep 2016 06:24:37 +0000 (08:24 +0200)
commit3c7b514d38d844b855d430fcbaed6dea67c9c17b
tree726e430b49cbeecb0065c1c8a49e89116df42b89
parentd613b74e15be11ef08e385ee9aa696a7db7cfd2c
fix bug title
tests/bug71719.phpt