Approval greatly appreciated!
https://github.com/eclipse-platform/eclipse.platform/pull/873
_______________________________________________ platform-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
