Skip to content
This repository was archived by the owner on Aug 23, 2025. It is now read-only.

upgrade #3218

Merged
KamiD merged 2 commits into from
Jul 20, 2023
Merged

upgrade #3218

KamiD merged 2 commits into from
Jul 20, 2023

Conversation

@zjg555543
Copy link
Contributor

@zjg555543 zjg555543 commented Jul 20, 2023

  • Targeted PR against correct branch (see CONTRIBUTING.md)

  • Linked to github-issue with discussion and accepted design OR link to spec that describes this work.

  • Wrote tests

  • Updated relevant documentation (docs/)

  • Added a relevant changelog entry to the Unreleased section in CHANGELOG.md

  • Reviewed Files changed in the github PR explorer

For Admin Use:

  • Added appropriate labels to PR (ex. wip, ready-for-review, docs)
  • Reviewers Assigned
  • Squashed all commits, uses message "Merge PR #XYZ: [title]" (coding standards)

KamiD
KamiD previously approved these changes Jul 20, 2023
View reviewed changes
@KamiD KamiD merged commit 37c07d5 into release/v1.7.1 Jul 20, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@KamiD KamiD KamiD approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@zjg555543 @KamiD