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