Re: [mina] memory issues

[Jeroen Brattinga]

+1

Maybe it's a good idea to document this change in a FAQ or API-doc.

--
Jeroen Brattinga