Skip to content

Conversation

@GeniJaho
Copy link
Collaborator

No description provided.

@xlcrr
Copy link
Member

xlcrr commented May 9, 2023

Didn't we already merge this?

@xlcrr
Copy link
Member

xlcrr commented May 9, 2023

@GeniJaho
Copy link
Collaborator Author

GeniJaho commented May 9, 2023

Didn't we already merge this?

Ask Fred, I'm not sure. This was a small fix, but you have already done changes in that direction, hence the conflicts. I think you have commented out the tests 😅

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