Skip to content

Conversation

char0n
Copy link
Contributor

@char0n char0n commented Dec 18, 2024

I'm not 100% sure, but it does feel like a typo.

@char0n char0n requested review from a team as code owners December 18, 2024 15:55
@ralfhandl ralfhandl merged commit 2dcd87d into OAI:v3.1-dev Dec 19, 2024
2 checks passed
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