| [platform-ui-dev] Build Submission (I200406241600) |
The map file has been updated for the 4 p.m. build. This submission only includes copyright fixes. The following projects have changed: + org.eclipse.ui + org.eclipse.ui.ide + org.eclipse.ui.workbench cheers, d.