Skip to content

Conversation

jni
Copy link
Member

@jni jni commented Jun 26, 2024

I thought after merging #430 that the fact that the release hasn't officially happened yet should be more prominent. 😅

@jni jni added the documentation Improvements or additions to documentation label Jun 26, 2024
@jni jni added this to the 0.5.0 milestone Jun 26, 2024
@Czaki
Copy link
Contributor

Czaki commented Jun 26, 2024

You should add #434 to the release notes :P

@jni
Copy link
Member Author

jni commented Jun 26, 2024

They will be added when the script is re-run. For now it is not that important. 😊

@jni jni merged commit a1e7404 into main Jun 26, 2024
@jni jni deleted the warnings branch June 26, 2024 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants