see also https://www.eclipse.org/lists/cross-project-issues-dev/msg19696.html
_______________________________________________ cross-project-issues-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
