doc fix (backport #13914)#13915
Conversation
|
Cherry-pick of 67c7406 has failed: To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally |
|
Thank you for opening a new pull request. Before your PR can be merged it will first need to pass continuous integration tests and be reviewed. Sometimes the review process can be slow, so please be patient. While you're waiting, please feel free to review other open PRs. While only a subset of people are authorized to approve pull requests for merging, everyone is encouraged to review open pull requests. Doing reviews helps reduce the burden on the core team and helps make the project's code better for everyone. One or more of the following people are relevant to this code:
|
747f955 to
ec54d68
Compare
Pull Request Test Coverage Report for Build 13504890366Details
💛 - Coveralls |
Summary
Details and comments
This is an automatic backport of pull request #13914 done by [Mergify](https://mergify.com).