Re: [galaxy-dev] Possible Galaxy memory leak?