Skip to content

Merge v0.3.13 into main#76

Merged
bonnie57 merged 1 commit intomainfrom
origin/bp/0.3.13-version-bump
Jul 9, 2025
Merged

Merge v0.3.13 into main#76
bonnie57 merged 1 commit intomainfrom
origin/bp/0.3.13-version-bump

Conversation

@bonnie57
Copy link
Contributor

@bonnie57 bonnie57 commented Jul 8, 2025

Description

Sync the source code of the main branch to match the published code.

@bonnie57 bonnie57 requested a review from lucas2brh July 8, 2025 06:29
@lucas2brh
Copy link
Collaborator

Just to confirm, the only change is a version bump with no actual code modifications?

@bonnie57
Copy link
Contributor Author

bonnie57 commented Jul 9, 2025

Just to confirm, the only change is a version bump with no actual code modifications?

Yes, I have checked it.

@bonnie57 bonnie57 merged commit 4322781 into main Jul 9, 2025
11 checks passed
@bonnie57 bonnie57 deleted the origin/bp/0.3.13-version-bump branch July 9, 2025 01:28
bonnie57 added a commit that referenced this pull request Jul 10, 2025
Co-authored-by: bpolania <boris.polania@gmail.com>
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