Update 4.12.0.Final Target Platform (Docker tooling, ...) for 2019-06 --------------------------------------------------------------------- Key: JBIDE-26670 URL: https://issues.jboss.org/browse/JBIDE-26670 Project: Tools (JBoss Tools) Issue Type: Task Components: build Affects Versions: 4.12.0.AM1 Reporter: Jeff MAURY Assignee: Jeff MAURY Priority: Major Fix For: 4.12.0.Final Attachments: p2diff_log_jbosstools_2019-06-20_15-52.txt