Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

release and changelog misc improvements #659

Merged
merged 3 commits into from
Dec 10, 2021

Conversation

kaworu
Copy link
Member

@kaworu kaworu commented Dec 9, 2021

See individual commits

Signed-off-by: Alexandre Perrin <alex@kaworu.ch>
Signed-off-by: Alexandre Perrin <alex@kaworu.ch>
Signed-off-by: Alexandre Perrin <alex@kaworu.ch>
@kaworu kaworu added 📄 area/documentation Impacts the documentation, including textual changes, sphinx, or other doc generation code. 🧹 kind/cleanup This includes no functional changes. priority/low This is considered nice to have. release-note/misc This PR makes changes that have no direct user impact. labels Dec 9, 2021
@kaworu kaworu requested review from gandro and glibsm December 9, 2021 15:22
@kaworu kaworu self-assigned this Dec 9, 2021
@kaworu kaworu requested a review from a team December 9, 2021 15:22
@kaworu kaworu merged commit d1e8286 into master Dec 10, 2021
@kaworu kaworu deleted the pr/kaworu/release-and-changelog-misc-improvements branch December 10, 2021 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📄 area/documentation Impacts the documentation, including textual changes, sphinx, or other doc generation code. 🧹 kind/cleanup This includes no functional changes. priority/low This is considered nice to have. release-note/misc This PR makes changes that have no direct user impact.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants