_______________________________________________ platform-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/platform-dev
FYI I've included a fix for org.eclipse.platform while doing the UI
build submission. The fix is for https://bugs.eclipse.org/bugs/
show_bug.cgi?id=196672 . I will be including this fix in the 3.3.1
stream at some point in the future.
