Skip to content

Conversation

@hendrikmuhs
Copy link

PR 41491 hasn't been merged into 7.2 but got closed and superseded by #41800 (merged via feature branch merge into 7.3)

PR 41491 hasn't been merged into 7.2 but got closed and superseeded by #41800 (merged via feature branch merge into 7.3)
@hendrikmuhs hendrikmuhs added >docs General docs changes v7.2.2 labels Jul 16, 2019
@elasticmachine
Copy link
Collaborator

Pinging @elastic/es-docs

Copy link

@droberts195 droberts195 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jrodewig jrodewig merged commit 949c234 into 7.2 Jul 16, 2019
@jrodewig jrodewig deleted the hendrikmuhs-remove-41491-from-release-notes branch July 16, 2019 12:05
lcawl pushed a commit that referenced this pull request Jul 16, 2019
PR 41491 hasn't been merged into 7.2 but got closed and superseeded by #41800 (merged via feature branch merge into 7.3)
lcawl pushed a commit that referenced this pull request Jul 16, 2019
PR 41491 hasn't been merged into 7.2 but got closed and superseeded by #41800 (merged via feature branch merge into 7.3)
@lcawl
Copy link
Contributor

lcawl commented Jul 16, 2019

FYI I cherry-picked this change into the 7.2 release notes in 7.3 and 7.x branches too. Thanks for catching this, @hendrikmuhs

@jrodewig
Copy link
Contributor

Thank you @lcawl!

@hendrikmuhs
Copy link
Author

Thanks @lcawl and @jrodewig ! I did not manage to merge/backport yesterday

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

>docs General docs changes v7.2.2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants