Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release 7.142.0-2 #3486

Closed
wants to merge 1 commit into from
Closed

Release 7.142.0-2 #3486

wants to merge 1 commit into from

Conversation

ayoy
Copy link
Contributor

@ayoy ayoy commented Oct 25, 2024

Please make sure all GH checks passed before merging. It can take around 20 minutes.
Briefly review this PR to see if there are no issues or red flags and then merge it.

@ayoy ayoy self-assigned this Oct 25, 2024
@ayoy ayoy closed this Oct 25, 2024
@ayoy ayoy deleted the release/7.142.0-build-2 branch October 25, 2024 14:00
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.

1 participant