[jbosstools-dev] Respin in progress: No more push allowed on branch

[Mickael Istria]

Hi all,

We are currently in the process of building JBoss Tools 4.2.0.Beta3 
respin-b.
So please DON'T push any new change for this respin. It's too late. If 
you have a change you need to push, please notify the mailing-list first.

Cheers
-- 
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/20140718/5cbb0f3a/attachment.html