On Tue, Aug 30, 2011 at 4:59 PM, Marcus Denker <marcus.denker@inria.fr> wrote:

On Aug 30, 2011, at 4:21 PM, laurent laffont wrote:

> On Tue, Aug 30, 2011 at 2:24 PM, Sean P. DeNigris <sean@clipperadams.com> wrote:
> Nice and clear info. The only thing that I see left that may be confusing is
> the ci shortcut on the home page. Since there are currently two ci servers,
> I think the ci link should take you to another page explaining the
> difference and where they're headed.
>
>
> Is hudson will be dropped ��or will stay around ?
>

Hudson will be discontinued at some point. But we need to move everything Jenkins before.

OK. I will add some explanations.

Laurent.

��


--
Marcus Denker -- http://marcusdenker.de