Skip to content

RELEASES: v4.1.0#150

Merged
cjdutoit merged 6 commits intomainfrom
users/mabroukmahdhi/releases-v4.1.0
Jan 27, 2025
Merged

RELEASES: v4.1.0#150
cjdutoit merged 6 commits intomainfrom
users/mabroukmahdhi/releases-v4.1.0

Conversation

@mabroukmahdhi
Copy link
Copy Markdown
Contributor

@mabroukmahdhi mabroukmahdhi commented Jan 27, 2025

closes #151

@mabroukmahdhi mabroukmahdhi self-assigned this Jan 27, 2025
@github-actions github-actions bot added the RELEASES Creation of new releases for software / packages label Jan 27, 2025
@mabroukmahdhi
Copy link
Copy Markdown
Contributor Author

this PR is code-complete but pending #149

@mabroukmahdhi mabroukmahdhi marked this pull request as ready for review January 27, 2025 19:25
@cjdutoit cjdutoit merged commit 25cc16b into main Jan 27, 2025
@cjdutoit cjdutoit deleted the users/mabroukmahdhi/releases-v4.1.0 branch January 27, 2025 19:32
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.1.0

2 participants