Skip to content

Update to Nov 1#100

Merged
Dooruk merged 1 commit into
developfrom
update_jedi/nov01
Nov 27, 2025
Merged

Update to Nov 1#100
Dooruk merged 1 commit into
developfrom
update_jedi/nov01

Conversation

@mranst
Copy link
Copy Markdown
Collaborator

@mranst mranst commented Nov 26, 2025

Closes #99

@mranst mranst requested a review from Dooruk November 26, 2025 23:26
@Dooruk Dooruk merged commit 3070a14 into develop Nov 27, 2025
6 checks passed
@Dooruk Dooruk deleted the update_jedi/nov01 branch November 27, 2025 02:52
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.

Bump version to November 1st, 2025

2 participants