Skip to content

RELEASES: v4.2.0.0#157

Merged
cjdutoit merged 3 commits into
mainfrom
users/cjdutoit/releases-v4.2.0.0
May 10, 2026
Merged

RELEASES: v4.2.0.0#157
cjdutoit merged 3 commits into
mainfrom
users/cjdutoit/releases-v4.2.0.0

Conversation

@cjdutoit

@cjdutoit cjdutoit commented May 10, 2026

Copy link
Copy Markdown
Collaborator

closes #158

@github-actions github-actions Bot added the RELEASES Creation of new releases for software / packages label May 10, 2026
@cjdutoit cjdutoit requested a review from glhays May 10, 2026 18:48
@cjdutoit cjdutoit merged commit 193d16c into main May 10, 2026
5 checks passed
@cjdutoit cjdutoit deleted the users/cjdutoit/releases-v4.2.0.0 branch May 10, 2026 20:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

RELEASES Creation of new releases for software / packages

Projects

None yet

Development

Successfully merging this pull request may close these issues.

RELEASES: v4.2.0.0

2 participants