Skip to content

Update maintainer to David Garnier - #17

Merged
DIGarnier merged 1 commit into
mainfrom
update-maintainer
Nov 12, 2026
Merged

DIGarnier merged 1 commit into
mainfrom
update-maintainer

Conversation

@DIGarnier

Copy link
Copy Markdown
Member

Maintenance of this package is moving to me, on behalf of Bloomberg. This
updates the maintainer field in the opam file accordingly. Konstantin
Romanov remains listed as the author.

The opam-repository entry for 1.2.0 will be updated to match.

Konstantin Romanov remains listed as the author.

Signed-off-by: David Garnier <dgarnier4@bloomberg.net>
@DIGarnier
DIGarnier merged commit b549ea6 into main Nov 12, 2026
8 checks passed
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