Skip to content

Add bounds to trace-fuchsia.0.10#79

Merged
tmcgilchrist merged 1 commit into
tarides:mainfrom
tmcgilchrist:fuschia_0.10
Feb 13, 2026
Merged

Add bounds to trace-fuchsia.0.10#79
tmcgilchrist merged 1 commit into
tarides:mainfrom
tmcgilchrist:fuschia_0.10

Conversation

@tmcgilchrist

Copy link
Copy Markdown
Collaborator

The API changed in 0.11.

@tmcgilchrist

Copy link
Copy Markdown
Collaborator Author

Backporting this modification ocaml/opam-repository@a40992a

@tmcgilchrist tmcgilchrist merged commit 3ad0e8e into tarides:main Feb 13, 2026
7 checks passed
@tmcgilchrist tmcgilchrist deleted the fuschia_0.10 branch February 13, 2026 06:29
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