[jbosstools-issues] [JBoss JIRA] (JBIDE-26842) Update 4.13.0.Final Target Platform (Docker tooling, ...) for 2019-09.GA

Update 4.13.0.Final Target Platform (Docker tooling, ...) for 2019-09.GA ------------------------------------------------------------------------ Key: JBIDE-26842 URL: https://issues.jboss.org/browse/JBIDE-26842 Project: Tools (JBoss Tools) Issue Type: Task Components: target-platform Affects Versions: 4.13.0.AM1 Reporter: Jeff MAURY Assignee: stephane bouchet Priority: Major Fix For: 4.13.0.Final Attachments: p2diff_log_jbosstools_2019-09-24_11-48.txt