Hi all, I apologize because I merged a patch by mistake today: https://bugs.eclipse.org/bugs/show_bug.cgi?id=560068 I think the risk is low, so it's acceptable to keep it. But if you prefer reverting if, feel free, it's all right.
Sorry!
_______________________________________________ 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
