On 18.12.20 19:02 , Andrey Loskutov wrote:
Please create a bug for that. I assume someone should hit some button, and better we would trace if that happened or not.
https://bugs.eclipse.org/bugs/show_bug.cgi?id=569823 BTW, that button was also not hit for 2020-09. Cheers, Thomas _______________________________________________ cross-project-issues-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
