Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Nov 29, 2023

Bot-based backport to release-23.11, triggered by a label in #269127.

  • Before merging, ensure that this backport is acceptable for the release.
    • Even as a non-commiter, if you find that it is not acceptable, leave a comment.

This fixes build after #241692

(cherry picked from commit 2a39e05)
@github-actions github-actions bot mentioned this pull request Nov 29, 2023
13 tasks
@github-actions github-actions bot added the 6.topic: ocaml OCaml is a general-purpose, high-level, multi-paradigm programming language. label Nov 29, 2023
@vbgl vbgl merged commit f086297 into release-23.11 Nov 29, 2023
@vbgl vbgl deleted the backport-269127-to-release-23.11 branch November 29, 2023 05:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

6.topic: ocaml OCaml is a general-purpose, high-level, multi-paradigm programming language.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant