fix leak
authorMichael Wallner <mike@php.net>
Tue, 25 Jul 2017 09:16:48 +0000 (11:16 +0200)
committerMichael Wallner <mike@php.net>
Tue, 25 Jul 2017 09:21:32 +0000 (11:21 +0200)

No differences found