Skip to content

Conversation

@arozovyk
Copy link
Collaborator

@arozovyk arozovyk commented Oct 14, 2025

Fix #5827

@arozovyk arozovyk added this to the 2.5.0~alpha2 milestone Oct 14, 2025
@arozovyk arozovyk self-assigned this Oct 14, 2025
@kit-ty-kate kit-ty-kate added the PR: WIP Not for merge at this stage label Oct 14, 2025
@kit-ty-kate kit-ty-kate modified the milestones: 2.5.0~alpha2, 2.6.0~alpha1 Nov 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: WIP Not for merge at this stage

Projects

None yet

Development

Successfully merging this pull request may close these issues.

opam switch remove should offer to clean up a stale directory

2 participants