Ok thanks. Alex is not working today, so if you or Lars wants to have a look in the next hours, that'd be welcome ;)
_______________________________________________ platform-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
