Skip to content

Conversation

@AERAdler
Copy link
Contributor

Thanks to Sigurd for pointing it out

@AERAdler AERAdler requested a review from mhasself November 25, 2025 20:03
@mhasself mhasself merged commit 91d38b5 into master Dec 4, 2025
5 checks passed
@mhasself mhasself deleted the AERAdler-patch-1 branch December 4, 2025 17:43
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