Here is the review: https://git.eclipse.org/r/69232 . As I'm a user of
this feature, I'd be glad to merge it soon; but there is no emergency
and I'd rather have someone making a quick review on it first.
--
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>
_______________________________________________
e4-dev mailing list
[email protected]
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit
https://dev.eclipse.org/mailman/listinfo/e4-dev
