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.