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

Reply via email to