Skip to content

Conversation

@megian
Copy link
Contributor

@megian megian commented Feb 18, 2022

Checklist

  • Update the documentation.
  • Categorize the PR by setting a good title and adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency
    as they show up in the changelog.

@megian megian merged commit 568d820 into master Feb 18, 2022
@megian megian deleted the bump-3.1.1 branch February 18, 2022 10:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants