Skip to content
This repository was archived by the owner on Aug 27, 2025. It is now read-only.

Opam tweaks#879

Merged
anton-trunov merged 5 commits intomasterfrom
opam-tweaks
Aug 14, 2020
Merged

Opam tweaks#879
anton-trunov merged 5 commits intomasterfrom
opam-tweaks

Conversation

@anton-trunov
Copy link
Copy Markdown
Contributor

@anton-trunov anton-trunov commented Aug 14, 2020

Please see the commit messages.
Don't forget to execute

opam update
opam upgrade ocamlformat

after we merge this PR.

@anton-trunov anton-trunov merged commit 2b129b9 into master Aug 14, 2020
@anton-trunov anton-trunov deleted the opam-tweaks branch August 14, 2020 16:41
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants