CI issue was upstream in opam, partially revert the changes

063be1ab · Ralf Jung · 9bdb137f · fb4a01da · 68f67dc4 · fb4a01da
Commit 063be1ab authored Aug 01, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ci ci +1 -1

No files found.
--- a/ci @ fb4a01da
+++ b/ci @ fb4a01da
-Subproject commit 68f67dc4377fec6eb49148df4cc7c235805d5f03
+Subproject commit fb4a01dacbd489e6a4c50c2659486f589ba470d3