Skip to content

Conversation

stevisco
Copy link
Contributor

Motivation

Change description

Additional Notes

Reviewer checklist

  • PR address a single concern.
  • PR title and description are properly filled.
  • Changes will be merged in main.
  • Changes are covered by tests.
  • Logging is meaningful in case of troubleshooting.
  • History is clean, commit messages are meaningful (see CONTRIBUTING.md) and are well formatted.

@polldo polldo merged commit ed13b93 into main Aug 26, 2022
@polldo polldo deleted the stevisco-patch-1 branch August 26, 2022 13:39
polldo pushed a commit that referenced this pull request Sep 2, 2022
polldo pushed a commit that referenced this pull request Sep 2, 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