Skip to content

Merge 1.3.2-rc.2 to dev - #876

Merged
ignatiusm merged 1 commit into
devfrom
release/1.3.2
Jul 7, 2026
Merged

Merge 1.3.2-rc.2 to dev#876
ignatiusm merged 1 commit into
devfrom
release/1.3.2

Conversation

@ignatiusm

Copy link
Copy Markdown
Contributor

No description provided.

@ignatiusm
ignatiusm merged commit 3bddca9 into dev Jul 7, 2026
13 of 14 checks passed
@ignatiusm
ignatiusm deleted the release/1.3.2 branch July 7, 2026 02:41
@ignatiusm
ignatiusm restored the release/1.3.2 branch July 7, 2026 02:41
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.

1 participant