Skip to content

Conversation

@lucasverleyen
Copy link
Member

Fixes #1456

@lucasverleyen lucasverleyen self-assigned this Aug 14, 2025
@lucasverleyen lucasverleyen marked this pull request as draft August 14, 2025 12:57
@lucasverleyen
Copy link
Member Author

@jelgerjansen, @annadellisola this PR is still a draft, but I have included a first version of the release notes. Could you please review the release notes and improve/add where possible?

@annadellisola
Copy link
Contributor

@lucasverleyen I have made some textual changes and pushed them directly

@jelgerjansen jelgerjansen marked this pull request as ready for review August 20, 2025 13:11
@jelgerjansen jelgerjansen merged commit d77c3e9 into open-ideas:master Aug 20, 2025
0 of 2 checks passed
@jelgerjansen jelgerjansen deleted the issue1456_v4.0.0 branch September 25, 2025 12:13
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.

IDEAS v4.0.0 release

3 participants