Skip to content

Conversation

@leinardi
Copy link
Owner

Pull request checklist

  • I am targeting the master branch (and not the release branch)
  • I have rebased this branch on top of the destination branch
  • I have executed locally make check before creating the commit and it has run successfully
  • My contribution is fully baked and ready to be merged as is
  • I have performed a self-review of my own code
  • There are no WIP commits in this PR

Type of Changes

Type
🐛 Bug fix
✨ New feature
🔨 Refactoring
📜 Docs

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