commit 862ecb3db5b39fd540ad6672d46f90d57d97d400
author Stephan Herrmann <stephan.herrmann@berlin.de> Tue May 25 11:17:28 2021 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> Tue May 25 11:17:28 2021 +0200
tree 5e273a6edd103c21ec5f387e677d35a4125a03fb
parent 1770a2fcdec870f9534994014ef6ac87252b3ef1

Releng: update version of jdt.annotation v1

releng/map/otdt.map.in

diff --git a/releng/map/otdt.map.in b/releng/map/otdt.map.in
index 08a92da..7ea3b0d 100644
--- a/releng/map/otdt.map.in
+++ b/releng/map/otdt.map.in
@@ -109,5 +109,5 @@
 

 !-- jdt.annotation: --!

 plugin@org.eclipse.jdt.annotation,2.2.600=GIT,tag=@SDK_QUALIFIER@,repo=git://git.eclipse.org/gitroot/jdt/eclipse.jdt.core.git,path=org.eclipse.jdt.annotation

-plugin@org.eclipse.jdt.annotation,1.1.500=GIT,tag=@SDK_QUALIFIER@,repo=git://git.eclipse.org/gitroot/jdt/eclipse.jdt.core.git,path=org.eclipse.jdt.annotation_v1

+plugin@org.eclipse.jdt.annotation,1.2.0=GIT,tag=@SDK_QUALIFIER@,repo=git://git.eclipse.org/gitroot/jdt/eclipse.jdt.core.git,path=org.eclipse.jdt.annotation_v1