Skip to content

5.x: update stan#936

Merged
ADmad merged 1 commit into
5.xfrom
5.x-stan
May 3, 2023
Merged

5.x: update stan#936
ADmad merged 1 commit into
5.xfrom
5.x-stan

Conversation

@LordSimal

Copy link
Copy Markdown
Contributor

No description provided.

@LordSimal LordSimal added this to the 5.x milestone May 2, 2023
@ADmad
ADmad merged commit 498fe00 into 5.x May 3, 2023
@ADmad
ADmad deleted the 5.x-stan branch May 3, 2023 01:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants