The repo is currently in a bad state. Please do not push or pull from git://git.eclipse.org/gitroot/platform/eclipse.platform.ui.git
Discussion currently on https://bugs.eclipse.org/bugs/show_bug.cgi?id=361707 Later, PW -- Paul Webster Hi floor. Make me a sammich! - GIR
_______________________________________________ e4-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/e4-dev
