Skip to content

Conversation

tidoust
Copy link
Member

@tidoust tidoust commented Jan 31, 2025

Spec fixed upstream.

Note: CI tests will fail coz' another patch needs to be updated.

@tidoust tidoust merged commit 6eeef67 into main Jan 31, 2025
1 check failed
@tidoust tidoust deleted the drop-highlight-patch branch January 31, 2025 13:29
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.

1 participant