Skip to content

Conversation

johanlundberg
Copy link
Contributor

Description

Follow up PR for #883.

Checklist

  • Checked that no other issues or pull requests exist for the same issue/change
  • Added tests covering the new functionality
  • Updated documentation OR the change is too minor to be documented
  • Updated CHANGELOG.md OR changes are insignificant

@c00kiemon5ter c00kiemon5ter merged commit 803eb89 into IdentityPython:master Dec 23, 2022
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.

2 participants