Hi Alexey, Yes, there is a JIRA already [1].
Thanks, Rick [1] https://issues.jboss.org/browse/JBDS-3627 ------------------------------ Message: 5 Date: Wed, 6 Jul 2016 15:45:01 -0400 From: Alexey Kazakov <[email protected]> To: [email protected] Subject: Re: [Devtools] Fix an installer problem with a server-side change? Message-ID: <[email protected]> Content-Type: text/plain; charset="windows-1252"; Format="flowed" BTW do we have a jira for that problem?
_______________________________________________ Devtools mailing list [email protected] https://www.redhat.com/mailman/listinfo/devtools
