Skip to content

Conversation

@LordSimal
Copy link
Contributor

No description provided.

@LordSimal LordSimal added the dependencies Pull requests that update a dependency file label Jul 2, 2023
@LordSimal LordSimal added this to the 5.x milestone Jul 2, 2023
@dereuromark dereuromark merged commit c721c94 into 5.x Jul 3, 2023
@dereuromark dereuromark deleted the 5.x-stan branch July 3, 2023 00:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants