Skip to content

Conversation

@pinosu
Copy link
Contributor

@pinosu pinosu commented Dec 12, 2024

No description provided.

@pinosu pinosu mentioned this pull request Dec 12, 2024
@pinosu
Copy link
Contributor Author

pinosu commented Dec 12, 2024

This is not meant to be merged, but just to show that current main contain the fix to the pointer problem raised in #2011 .
Closing as all tests are passing.

@pinosu pinosu closed this Dec 12, 2024
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