On 15 October 2013 15:56, Tim Shen wrote: > This memory leak is because forgetting virtual destructor of the base > class _Executor. > > Thanks!
Great, if it passes the testsuite please commit it. Thanks for the quick fix, and to Paolo for identifying the cause!
