[Devtools] Fix an installer problem with a server-side change?

[Rick Wagner]

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 <alkazako at redhat.com>
To: devtools at redhat.com
Subject: Re: [Devtools] Fix an installer problem with a server-side
        change?
Message-ID: <577D5FBD.30209 at redhat.com>
Content-Type: text/plain; charset="windows-1252"; Format="flowed"

BTW do we have a jira for that problem?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listman.redhat.com/archives/devtools/attachments/20160706/c543a284/attachment.htm>