[jbosstools-dev] Blocker bug in JBoss Tools 4.3.0.Alpha2

[Mickael Istria]

User cannot select which workspace to use, default one $HOME/workspace 
always used: see https://issues.jboss.org/browse/JBIDE-19627
-- 
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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jbosstools-dev/attachments/20150416/8d754db6/attachment.html