Skip to content

Conversation

@KaganCanSit
Copy link
Contributor

Hi @randombit,

I noticed that there is an open merge request on this branch and the CI tests are failing. Based on @reneme's comment, I investigated the issue and implemented a fix. I've documented the details in a comment here: #4723 (comment)

I'm opening this PR to save you some time and to not forget it for myself. Let me know if you want me to make any changes.

Best regards

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