Hi Nate,

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

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