New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Delete pin-depends on OPAM files about conduit #418

Closed

dinosaure wants to merge 1 commit into master from lint-pin-depends

Member

dinosaure commented Oct 27, 2020

No description provided.


          Delete pin-depends on OPAM files about conduit

9c44e1b

Member Author

dinosaure commented Jan 2, 2021

Closed by #428 which will be merge as soon as I can.

dinosaure closed this

dinosaure deleted the lint-pin-depends branch

March 15, 2021 14:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet