commit 1b81b129a3b634f87293e5c38c6a0bb0e90e1818
author Stephan Herrmann <stephan.herrmann@berlin.de> Tue May 31 16:29:42 2016 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> Tue May 31 16:29:42 2016 +0200
tree facf5b08872a3f0072ad912ffe1ffe90210b7a27
parent 49d996a302f846f6a75aec3c6cb52d5e4a2108ea

Releng: unfreeze bundle having a fix for Bug 487382

plugins/org.eclipse.objectteams.otdt.debug.ui/META-INF/MANIFEST.MF

diff --git a/plugins/org.eclipse.objectteams.otdt.debug.ui/META-INF/MANIFEST.MF b/plugins/org.eclipse.objectteams.otdt.debug.ui/META-INF/MANIFEST.MF
index 8388bcd..29691a8 100644
--- a/plugins/org.eclipse.objectteams.otdt.debug.ui/META-INF/MANIFEST.MF
+++ b/plugins/org.eclipse.objectteams.otdt.debug.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@
 Bundle-ManifestVersion: 2
 Bundle-Name: %pluginName
 Bundle-SymbolicName: org.eclipse.objectteams.otdt.debug.ui;singleton:=true
-Bundle-Version: 2.4.0.qualifier
+Bundle-Version: 2.5.0.qualifier
 Bundle-Activator: org.eclipse.objectteams.otdt.debug.ui.OTDebugUIPlugin
 Bundle-Vendor: %providerName
 Bundle-Localization: plugin

releng/map/otdt.map.in

diff --git a/releng/map/otdt.map.in b/releng/map/otdt.map.in
index 5ac35f7..a48f336 100644
--- a/releng/map/otdt.map.in
+++ b/releng/map/otdt.map.in
@@ -14,7 +14,7 @@
 plugin@org.eclipse.objectteams.otdt=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt

 

 plugin@org.eclipse.objectteams.otdt.debug=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug,tag=builds/201406101339

-plugin@org.eclipse.objectteams.otdt.debug.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug.ui,tag=builds/201506091717

+plugin@org.eclipse.objectteams.otdt.debug.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.debug.ui

 plugin@org.eclipse.objectteams.otdt.ui=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.ui

 plugin@org.eclipse.objectteams.otdt.doc=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.doc

 !plugin@org.eclipse.objectteams.otdt.metrics=GIT,repo=git://git.eclipse.org/gitroot/objectteams/org.eclipse.objectteams.git,path=plugins/org.eclipse.objectteams.otdt.metrics,tag=builds/201101290806