Note: not yet created (see [https://bugs.eclipse.org/bugs/show_bug.cgi?id=402771 bug]), subscription likely to be done on [https://dev.eclipse.org/mailman/listinfo/mihini-commits https://dev.eclipse.org/mailman/listinfo/mihini-commits]

+

*Commit mails will be sent on '''mihini-commits@eclipse.org'''

+

Note: Subscription to be done on [https://dev.eclipse.org/mailman/listinfo/mihini-commits https://dev.eclipse.org/mailman/listinfo/mihini-commits]