Skip to content

Conversation

@mergify
Copy link

@mergify mergify bot commented Apr 19, 2024

so that dialyze passes


This is an automatic backport of pull request #11039 done by Mergify.

so that dialyze passes

(cherry picked from commit ff6713d)
@mergify mergify bot added the make label Apr 19, 2024
@michaelklishin michaelklishin merged commit 13161d5 into v3.13.x Apr 19, 2024
@michaelklishin michaelklishin deleted the mergify/bp/v3.13.x/pr-11039 branch April 19, 2024 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants