I think no further action is necessary. Thanks for the follow-up. Mickael Istria <[email protected]> schrieb am Do., 31. Mai 2018, 17:19:
> > > 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
_______________________________________________ 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
