Skip to content

Delete pin-depends on OPAM files about conduit#418

Closed
dinosaure wants to merge 1 commit intomasterfrom
lint-pin-depends
Closed

Delete pin-depends on OPAM files about conduit#418
dinosaure wants to merge 1 commit intomasterfrom
lint-pin-depends

Commits

Commits on Oct 27, 2020