Hi Patrick,
Thanks for your work on this family of issues related to menus!
No objection from my side about bumping to 2.4.0. I believe there is
another change which will take advantage of it:
https://git.eclipse.org/r/#/c/56415/
Anyone has an objection?
--
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>
_______________________________________________
swtbot-dev mailing list
swtbot-dev@eclipse.org
To change your delivery options, retrieve your password, or unsubscribe from
this list, visit
https://dev.eclipse.org/mailman/listinfo/swtbot-dev
