Skip to content

Merge master to develop#241

Merged
shuchitak merged 1 commit intodevelopfrom
master
Oct 30, 2024
Merged

Merge master to develop#241
shuchitak merged 1 commit intodevelopfrom
master

Conversation

@shuchitak
Copy link
Copy Markdown
Contributor

Fix doc title back to main

Fix doc title back to main
@xross
Copy link
Copy Markdown
Contributor

xross commented Oct 29, 2024

oops. 😇

@shuchitak shuchitak merged commit ba3ed1e into develop Oct 30, 2024
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.

3 participants