+1 for stopping auto-close
I understand both sides and I don’t like to have so many bugs unattended, but that’s just reality due to lack of resources. _______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
