Re: Memory Leak & openmpi_ext

[c.]

On 6 May 2013, at 15:52, Sukanta Basu <address@hidden> wrote:

> Hi Carlo,
> 
> I have submitted the bug report:
> https://savannah.gnu.org/bugs/index.php?38905

Thanks!

> I hope it can be resolved soon.

I'll look into it later today to see if there is something really 
obvious that has been messed up.

If it isn't an easy fix it'll have to wait a while though as I am quite buisy 
lately.
So if you find any more information or even a fix, please update your report on 
the tracker.

> Best regards,
> Sukanta

c.