commit 68d6238e9c74b7c8b7c52262d9d8b081c9ce5f87
author Paul Webster <pwebster> Tue Nov 08 19:13:35 2011 +0000
committer Paul Webster <pwebster> Tue Nov 08 19:13:35 2011 +0000
tree 82c1784a5a8e67a58f2b6db1c0dfadde6723c79b
parent df33083fe32504cbf5d805adceb9e21fbb2c6f95

Commit 4.1.2 changes.

org.eclipse.e4.sdk/maps/e4.map

diff --git a/org.eclipse.e4.sdk/maps/e4.map b/org.eclipse.e4.sdk/maps/e4.map
index 1ce214d..64df123 100644
--- a/org.eclipse.e4.sdk/maps/e4.map
+++ b/org.eclipse.e4.sdk/maps/e4.map
@@ -7,7 +7,7 @@
 !**** Workbench Compatibility
 
 plugin@org.eclipse.e4.ui.workbench.addons.swt=GIT,tag=v20110705-1300,repo=git://git.eclipse.org/gitroot/platform/eclipse.platform.ui.git,path=bundles/org.eclipse.e4.ui.workbench.addons.swt
-plugin@org.eclipse.ui.workbench=GIT,tag=v20110825-1422,repo=git://git.eclipse.org/gitroot/platform/eclipse.platform.ui.git,path=bundles/org.eclipse.ui.workbench
+plugin@org.eclipse.ui.workbench=GIT,tag=v20111108-1336,repo=git://git.eclipse.org/gitroot/platform/eclipse.platform.ui.git,path=bundles/org.eclipse.ui.workbench
 plugin@org.eclipse.ui=GIT,tag=v20110906-1038,repo=git://git.eclipse.org/gitroot/platform/eclipse.platform.ui.git,path=bundles/org.eclipse.ui
 
 !**** 4.x Platform Doc