]
Nick Boldt updated JBIDE-19776:
-------------------------------
Attachment: jbdevstudio.p2diff.txt
PR (updated to include M7 stuff and fix missing deps for new rse.terminals):
Create and use Mars M7 target-platform
--------------------------------------
Key: JBIDE-19776
URL:
https://issues.jboss.org/browse/JBIDE-19776
Project: Tools (JBoss Tools)
Issue Type: Enhancement
Components: target-platform
Reporter: Nick Boldt
Assignee: Mickael Istria
Priority: Critical
Fix For: 4.3.0.Beta1
Attachments: jbdevstudio.p2diff.txt, jbosstools.p2diff.txt
Mars M7 was released and contains interesting changes.
We need to start using it ASAP to leverage new functionalities and adapt to the most
important changes.