https://github.com/eclipse-platform/eclipse.platform/pull/1158 I think I fixed everything back to how it was. Any comments greatly appreciated. Thank you,,,
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
