Hi, it seems git went missing on our Jenkins servers, I filed https://bugs.eclipse.org/bugs/show_bug.cgi?id=538660 to track the problem.
This means our contribution to 2018-09 RC1 is blocked currently -Matthias
_______________________________________________ cross-project-issues-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
