Skip to content

Conversation

@KimonHoffmann
Copy link
Contributor

@KimonHoffmann KimonHoffmann commented Nov 8, 2024

The changes included in this PR fix the issue described in #120.

@KimonHoffmann KimonHoffmann merged commit e6d97fd into master Nov 8, 2024
7 checks passed
@KimonHoffmann KimonHoffmann deleted the feature/issue-120 branch November 8, 2024 12:56
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.

3 participants