Skip to content

Remove Enum_rel#1147

Merged
Halbaroth merged 1 commit into
OCamlPro:nextfrom
Halbaroth:remove-enum-rel
Jun 18, 2024
Merged

Remove Enum_rel#1147
Halbaroth merged 1 commit into
OCamlPro:nextfrom
Halbaroth:remove-enum-rel

Conversation

@Halbaroth

Copy link
Copy Markdown
Collaborator

We do not use this module anymore. I forgot to remove it in #1094.

We do not use this module anymore.
@Halbaroth Halbaroth added this to the 2.6.0 milestone Jun 17, 2024
@Halbaroth Halbaroth enabled auto-merge (squash) June 18, 2024 10:33
@Halbaroth Halbaroth disabled auto-merge June 18, 2024 10:33
@Halbaroth Halbaroth merged commit dce72f4 into OCamlPro:next Jun 18, 2024
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