Is Gerrit down ? https://git.eclipse.org/r/ doesn't respond at the moment, though I can reach cgit at http://git.eclipse.org/c/
-- Matthias
_______________________________________________ cross-project-issues-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
