Skip to content

Conversation

@mdboom
Copy link
Contributor

@mdboom mdboom commented Apr 7, 2021

Pull Request checklist

  • Quality: This PR builds and tests run cleanly
    • make test runs without emitting any warnings
    • make lint runs 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 HISTORY.rst or an explanation of why it does not need one
    • Any breaking changes to language binding APIs are noted explicitly

@mdboom mdboom merged commit aa7fe3b into mozilla:main Apr 7, 2021
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.

1 participant