Skip to content

chore: add changelog entry of backport#4795

Merged
mergify[bot] merged 1 commit intomasterfrom
chore/changelog-0.43.7
Nov 3, 2023
Merged

chore: add changelog entry of backport#4795
mergify[bot] merged 1 commit intomasterfrom
chore/changelog-0.43.7

Conversation

@thomaseizinger
Copy link
Copy Markdown
Contributor

Description

Related: #4755.

Notes & open questions

Change checklist

  • I have performed a self-review of my own code
  • I have made corresponding changes to the documentation
  • I have added tests that prove my fix is effective or that my feature works
  • A changelog entry has been made in the appropriate crates

@thomaseizinger thomaseizinger added send-it trivial Marks PRs which are considered trivial and don't need approval from another maintainer. labels Nov 3, 2023
@mergify mergify bot merged commit 32c945c into master Nov 3, 2023
@mergify mergify bot deleted the chore/changelog-0.43.7 branch November 3, 2023 11:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

send-it trivial Marks PRs which are considered trivial and don't need approval from another maintainer.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant