Since sandbox hudson emits Bad Gateway errors in random situations I am going to restart it hoping this will fix these problems.
-- Matthias
_______________________________________________ cross-project-issues-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
