Hi all, As some of you probably noticed, the eclipse.platform.ui Gerrit build report API Tools issue for no good reason. This is tracked at https://bugs.eclipse.org/bugs/show_bug.cgi?id=552832 and I'm investigating. However, I don't really have a clue, so assistance would be welcome as comments on the bug.
Cheers, and let's cross fingers so we find the cause and solution soon! -- Mickael Istria Eclipse IDE <https://www.eclipse.org/downloads/eclipse-packages/> developer, for Red Hat Developers <https://developers.redhat.com/>
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
