PHP snmp extension leaks memory

Hi! I am writing to the list because there's a bug in the php snmp extension that leaks memory. This bug has been reported by Federico Cuello two months ago here: http://bugs.php.net/bug.php?id=45405 As you can see, Federico uploaded a patch that fixes the problem but added a double free also two months ago. I've updated Federico's patch almost one month and a half ago and published it there too. We are running php with that patch applied since then and it works well for us. I don't know what we can do to have some opinion about the patch and to close the bug (applying this patch or some other way), but I thought that sending an email to the list perhaps could catch more attention :-) As I comment in the bug report, the patch seems simple and correct. I don't know if it matters, but gentoo has applied to the svn tree: http://bugs.gentoo.org/show_bug.cgi?id=231528 If we can help in some way, please let me know. Thanks a lot, Rodrigo