Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

2.0.0-rc9.1 #1272

Merged
merged 1 commit into from
Aug 2, 2022
Merged

2.0.0-rc9.1 #1272

merged 1 commit into from
Aug 2, 2022

Conversation

AlbyIanna
Copy link
Contributor

Motivation

Releasing version 2.0.0-rc9.1

Change description

Other information

Waiting for #1252 to be merged before releasing 2.0.0-rc9.1

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@AlbyIanna AlbyIanna marked this pull request as ready for review August 2, 2022 13:27
@francescospissu francescospissu self-requested a review August 2, 2022 13:28
@AlbyIanna AlbyIanna merged commit d93c9ba into main Aug 2, 2022
@AlbyIanna AlbyIanna deleted the version-2.0.0-rc9.1 branch August 2, 2022 13:29
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Aug 3, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@francescospissu francescospissu francescospissu approved these changes

@kittaakos kittaakos Awaiting requested review from kittaakos

@ubidefeo ubidefeo Awaiting requested review from ubidefeo

@per1234 per1234 Awaiting requested review from per1234

Assignees
No one assigned
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@AlbyIanna @francescospissu @per1234