Skip to content

Publish 2.7.0#858

Merged
felixarntz merged 4 commits into
release/2.7.0from
publish/2.7.0
Oct 16, 2023
Merged

Publish 2.7.0#858
felixarntz merged 4 commits into
release/2.7.0from
publish/2.7.0

Conversation

@felixarntz

Copy link
Copy Markdown
Member

Summary

Fixes #857

Checklist

  • PR has either [Focus] or Infrastructure label.
  • PR has a [Type] label.
  • PR has a milestone or the no milestone label.

@felixarntz felixarntz added [Type] Documentation Documentation to be added or enhanced Infrastructure Issues for the overall performance plugin infrastructure no milestone PRs that do not have a defined milestone for release labels Oct 16, 2023
@felixarntz felixarntz merged commit 25c64e8 into release/2.7.0 Oct 16, 2023
@felixarntz felixarntz deleted the publish/2.7.0 branch October 16, 2023 17:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Infrastructure Issues for the overall performance plugin infrastructure no milestone PRs that do not have a defined milestone for release [Type] Documentation Documentation to be added or enhanced

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants