Re: [platform-dev] eclipse.platform.ui Git repository now on GitHub

[Mickael Istria]

Things are fine now and migration is complete.

_______________________________________________
platform-dev mailing list
platform-dev@eclipse.org
To unsubscribe from this list, visit 
https://www.eclipse.org/mailman/listinfo/platform-dev