Skip to content

Conversation

@meziantou
Copy link
Owner

@meziantou meziantou commented Jan 8, 2025

Fix #780

@meziantou meziantou force-pushed the issues/780 branch 2 times, most recently from 0fe2718 to 41b4335 Compare January 8, 2025 15:12
@meziantou meziantou marked this pull request as ready for review January 8, 2025 15:27
@meziantou meziantou merged commit 54e9030 into main Jan 8, 2025
18 checks passed
@meziantou meziantou deleted the issues/780 branch January 8, 2025 15:28
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.

Disable all rules by default

2 participants