]
Jeff MAURY updated JBIDE-26644:
-------------------------------
Fix Version/s: 4.13.0.Final
(was: 4.13.0.AM1)
Fix coverage for jbosstools-server repo
---------------------------------------
Key: JBIDE-26644
URL:
https://issues.jboss.org/browse/JBIDE-26644
Project: Tools (JBoss Tools)
Issue Type: Task
Components: server
Affects Versions: 4.12.0.AM1
Reporter: Josef Kopriva
Assignee: Josef Kopriva
Priority: Major
Fix For: 4.13.0.Final