Copy link
Copy Markdown
Member
It can't be used as a ping name, but it can be used in send_in_pings.
Pull Request checklist
- Quality: This PR builds and tests run cleanly
make testruns without emitting any warningsmake lintruns without emitting any errors
- Tests: This PR includes thorough tests or an explanation of why it does not
- Changelog: This PR includes a changelog entry to
CHANGELOG.mdor an explanation of why it does not need one- Any breaking changes to language binding APIs are noted explicitly
badboy deleted the default-reserved-ping-name branch
August 19, 2021 13:59