fix leak
authorMichael Wallner <mike@php.net>
Tue, 25 Jul 2017 10:25:21 +0000 (12:25 +0200)
committerMichael Wallner <mike@php.net>
Tue, 25 Jul 2017 10:25:21 +0000 (12:25 +0200)

No differences found