Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jul 1, 2021

This synchronizes the client's 7.13 branch with the server.

@elasticmachine
Copy link
Collaborator

Since this is a community submitted pull request, a Jenkins build has not been kicked off automatically. Can an Elastic organization member please verify the contents of this patch and then kick off a build manually?

@stevejgordon stevejgordon merged commit a3b7f2e into 7.13 Jul 1, 2021
@stevejgordon stevejgordon deleted the fix/7.13/code-gen branch July 1, 2021 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants