Skip to content

Conversation

Girgias
Copy link
Member

@Girgias Girgias commented May 30, 2022

This fails regularly and on top of that we don't look at these reports.

@cmb69
Copy link
Member

cmb69 commented May 30, 2022

Thank you! I'm very much in favor of dropping these mails.

@nikic
Copy link
Member

nikic commented May 31, 2022

Makes sense to me. Not sure how well the prompt to manually submit an issue will turn out, but I guess we can give it a try. Can drop if this doesn't result in actionable issues.

@Girgias Girgias merged commit 8e00e82 into php:master Jun 6, 2022
@Girgias Girgias deleted the email-qa-drop branch June 6, 2022 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants