Skip to content

[chore] Release 8.13.0 #925

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.

Sign up for GitHub

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

Jump to bottom
Merged
lahirumaramba merged 1 commit into from
Jun 29, 2020
Merged

[chore] Release 8.13.0 #925

lahirumaramba merged 1 commit into from
Jun 29, 2020

Conversation

@lahirumaramba
Copy link
Member

@lahirumaramba lahirumaramba commented Jun 29, 2020

  • Release 8.13.0

@lahirumaramba lahirumaramba added release:tweet Post the release notification to Twitter release:publish Publish a release candidate labels Jun 29, 2020
@lahirumaramba lahirumaramba requested a review from hiranya911 June 29, 2020 17:23
@lahirumaramba lahirumaramba merged commit 488f931 into master Jun 29, 2020
@henriquebonfim henriquebonfim mentioned this pull request Aug 20, 2024
Open
@k-azadzoi k-azadzoi mentioned this pull request Sep 5, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@hiranya911 hiranya911 hiranya911 approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@lahirumaramba lahirumaramba

@hiranya911 hiranya911

Labels

release:publish Publish a release candidate release:tweet Post the release notification to Twitter

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@lahirumaramba @hiranya911