Re: RIP Apache Jenkins!?

[Davide Giannella]

On 15/11/2016 22:01, Michael Dürig wrote:
> I would suggest we start looking for other options.
I'm all for it. What options do we have?

Travis, we moved away as of lack of resources IIRC.

Davide