Skip to content

Merged develop into main for 2.5.2 release#410

Merged
david-poindexter merged 10 commits into
mainfrom
develop
Jul 12, 2026
Merged

Merged develop into main for 2.5.2 release#410
david-poindexter merged 10 commits into
mainfrom
develop

Conversation

@david-poindexter

Copy link
Copy Markdown
Member

Merged develop into main for 2.5.2 release

@david-poindexter david-poindexter added this to the 2.5.2 milestone Jul 12, 2026
@david-poindexter david-poindexter self-assigned this Jul 12, 2026
@david-poindexter
david-poindexter merged commit 54d1c31 into main Jul 12, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants