Skip to content

Release 6.2.80 - #2067

Merged
ikedas merged 2 commits into
mainfrom
pr/release-6.2.80
Aug 14, 2026
Merged

Release 6.2.80#2067
ikedas merged 2 commits into
mainfrom
pr/release-6.2.80

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

This pull request is a workplace for editing release notes NEWS.md.

@github-actions github-actions Bot added ready A PR is waiting to be merged. Close to be solved ignore-for-release PRs with this label won't be included in the release notes labels Aug 13, 2026
@ikedas
ikedas merged commit 2c7374a into main Aug 14, 2026
22 checks passed
@ikedas
ikedas deleted the pr/release-6.2.80 branch August 14, 2026 05:03
@sympa-community sympa-community deleted a comment from Grax23 Aug 18, 2026
@sympa-community sympa-community locked and limited conversation to collaborators Aug 18, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

ignore-for-release PRs with this label won't be included in the release notes ready A PR is waiting to be merged. Close to be solved

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant