Things are fine now and migration is complete.
_______________________________________________ platform-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
- [platform-dev] eclipse.platform.ui Git repository now on Gi... Mickael Istria
- Re: [platform-dev] eclipse.platform.ui Git repository ... Ed Merks
- Re: [platform-dev] eclipse.platform.ui Git reposit... Mickael Istria
- Re: [platform-dev] eclipse.platform.ui Git rep... Mickael Istria
