Skip to content

Add Robur as maintainer of opam packages#150

Merged
reynir merged 1 commit intomainfrom
maintainer
Feb 25, 2026
Merged

Add Robur as maintainer of opam packages#150
reynir merged 1 commit intomainfrom
maintainer

Conversation

@reynir
Copy link
Copy Markdown
Member

@reynir reynir commented Feb 18, 2026

@reynir reynir merged commit 7b91f1d into main Feb 25, 2026
1 check passed
@reynir reynir deleted the maintainer branch February 25, 2026 06:43
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