Skip to content

Closes #1099#1100

Merged
theofidry merged 1 commit intohumbug:mainfrom
sebastianbergmann:main
Jan 12, 2025
Merged

Closes #1099#1100
theofidry merged 1 commit intohumbug:mainfrom
sebastianbergmann:main

Conversation

@sebastianbergmann
Copy link
Contributor

No description provided.

@theofidry theofidry merged commit 8a1ee33 into humbug:main Jan 12, 2025
126 checks passed
@theofidry
Copy link
Member

Thank you @sebastianbergmann

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