Platform HIPP will be migrated to Jenking on Monday. Time is not know exactly yet and verification that jobs still run fine will be needed. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=530029#c10 for details.
-- Alexander Kurtakov Red Hat Eclipse Team _______________________________________________ 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
