On Sat, Apr 18, 2015 at 8:15 AM, stepharo <stepharo@free.fr> wrote:

hi guys

I would like to update the CI to point to the new location.
What do you think?

Stef