On Jan 11, 2013, at 4:49 AM, Rémy Dernat wrote:

Hi Nate,

Could you push these patch on the galaxy-dist repository ?

Hi Rémy, Unfortunately, this change just missed the cutoff for today's galaxy-dist, so it will have to wait for the next one, which should be in two weeks. You are welcome to pull directly from galaxy-central, if you'd like. --nate

Thanks,

Regards 2013/1/11 Rémy Dernat <remy.d1@gmail.com> Hi Nate,

Could you push these patch on the galaxy-dist repository ?

Thanks,

Regards

___________________________________________________________ Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at:

http://lists.bx.psu.edu/