Is there now a freeze period? We get issues on this Gerrit. https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/190740
Cheers, Wim
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
