Re: [galaxy-dev] Any hint on how to use Galaxy within virtualenv?

Hi Jean-Francois, Were you able to update to the next galaxy-dist and test? This issue should be resolved in 8771:ae446180fd11, which was added just after the distribution you were using previously. -Dannon