On Thu, May 31, 2018 at 5:17 PM, Lars Vogel <[email protected]> wrote:
> Thanks Mickael, I already set this item to "not delivered" so I think we > are good for 4.8 > Should I add a comment on the page?
_______________________________________________ platform-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/platform-dev
