Skip to content

Conversation

@maverikou
Copy link
Contributor

Fix for a minor annoyance.

@raysan5 raysan5 merged commit 7cfdf33 into raysan5:master Dec 28, 2023
@raysan5
Copy link
Owner

raysan5 commented Dec 28, 2023

@maverikou thanks for the review!

@maverikou maverikou deleted the fix_const_correctness branch December 29, 2023 08:51
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