On 07/15/2015 04:08 PM, Lars Heinemann wrote:
Hi Mickael,
is it possible to get
https://issues.jboss.org/browse/JBIDE-20188
fixed for that cut? Rob already provided an updated PR.
This is not related to
target-platforms.
See Nick's mail "/ACTION REQUIRED: Beta2 code freeze is this Thursday
July 16/", and try to get Rob to merge this patch ASAP if it's good.
--
Mickael Istria
Eclipse developer at JBoss, by Red Hat <
http://www.jboss.org/tools>
My blog <
http://mickaelistria.wordpress.com> - My Tweets
<
http://twitter.com/mickaelistria>