summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-ml/opam-core: workaround bug #933845Maciej Barć5 min.