25 Mar
2013
25 Mar
'13
4:52 a.m.
On Fri, 22 Mar 2013 10:58:52 +0100 Stefan Kalkowski <stefan.kalkowski@...1...> wrote:
Hi Petr,
thanks for the review!
I assume you're using an older version of the Genode framework? The memory leak you've described was removed by the following commit:
https://github.com/genodelabs/genode/commit/b38fee28672a9ba2ad4c94b1f5c69317...
To get the recent stable version of Genode, please checkout the master branch of Genode's githup repository:
https://github.com/genodelabs/genode.git
Best Regards Stefan
Thanks, Stefan! I will switch to the top of mainstream ASAP.
Best regards,
--
- Petr