Code

Fix wrong pin version in CI scripts#202

Code

Merged

samoht merged 1 commit intomirage:mirage-devmirage/ocaml-conduit:mirage-devfrom samoht:mirage-devsamoht/ocaml-conduit:mirage-devCopy head branch name to clipboardJan 4, 2017

+2-2

Commits

Commits on Jan 4, 2017

• Fix wrong pin version in CI scripts

  samoht

  committed
  a84ed31

  Copy full SHA for a84ed31