Skip to content

Conversation

kroening
Copy link
Collaborator

@kroening kroening commented Aug 7, 2024

No description provided.

@kroening kroening marked this pull request as ready for review August 7, 2024 14:19
Copy link
Collaborator

@tautschnig tautschnig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

May I suggest that we start maintaining a CHANGELOG of sorts? Perhaps with the help of GitHub's "Generate release notes" capability?

@kroening kroening merged commit 3296ed5 into main Aug 7, 2024
8 checks passed
@kroening kroening deleted the bump-verion-to-5-1 branch August 7, 2024 16:09
Romy15200 pushed a commit to Romy15200/nws that referenced this pull request Aug 19, 2025
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.

2 participants