Skip to content

#2857 again#3528

Merged
xclerc merged 1 commit intomainfrom
2857-again
Feb 4, 2025
Merged

#2857 again#3528
xclerc merged 1 commit intomainfrom
2857-again

Conversation

@xclerc
Copy link
Copy Markdown
Contributor

@xclerc xclerc commented Jan 30, 2025

As per title; parts of #2857 had to be
reverted (#2935), this pull requests
simply re-applies the changes.

@xclerc xclerc added the backend label Jan 30, 2025
@xclerc xclerc merged commit ceb0998 into main Feb 4, 2025
@xclerc xclerc deleted the 2857-again branch February 4, 2025 14:03
Dreian pushed a commit to Dreian/oxcaml that referenced this pull request Feb 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants