<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Oct 31, 2014 at 8:48 PM, Robin Sommer <span dir="ltr">&lt;<a href="mailto:robin@icir.org" target="_blank">robin@icir.org</a>&gt;</span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I&#39;ve pushed the change into master but have actually not<br>
tried yet if it indeed fixes the reported memleak.<br></blockquote><div><br></div><div>Thanks, Robin. I tested it and perftools is no longer reporting any leaks.</div><div><br></div><div>  --Vlad </div></div></div></div>