Skip to content

Depend on conduit-mirage instead of mirage-conduit#16

Merged
anmonteiro merged 7 commits into
forkfrom
anmonteiro/depend-on-conduit-mirage
Sep 3, 2019
Merged

Depend on conduit-mirage instead of mirage-conduit#16
anmonteiro merged 7 commits into
forkfrom
anmonteiro/depend-on-conduit-mirage

Conversation

@anmonteiro
Copy link
Copy Markdown
Owner

Following the rename in v2 (ocaml/opam-repository#14689)

@anmonteiro anmonteiro force-pushed the anmonteiro/depend-on-conduit-mirage branch from d0385a2 to 03196a5 Compare September 3, 2019 20:42
@anmonteiro anmonteiro merged commit 94021a2 into fork Sep 3, 2019
@anmonteiro anmonteiro deleted the anmonteiro/depend-on-conduit-mirage branch September 3, 2019 21:41
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