Skip to content

Conversation

@Alizter
Copy link
Collaborator

@Alizter Alizter commented Nov 18, 2025

We de-duplicate code introduced in #12653 addressing the CR added here after.

@rgrinberg
Copy link
Member

Can you add a proper description?

@Alizter Alizter merged commit 1549dbd into ocaml:main Nov 19, 2025
26 checks passed
@Alizter Alizter deleted the push-myqrwlsyrmtm branch November 19, 2025 11: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