Skip to content

Avoid duplicated archive-mirrors: field in the repo file#247

Draft
kit-ty-kate wants to merge 1 commit intoocaml-opam:masterfrom
kit-ty-kate:deduplicate-archive-mirrors
Draft

Avoid duplicated archive-mirrors: field in the repo file#247
kit-ty-kate wants to merge 1 commit intoocaml-opam:masterfrom
kit-ty-kate:deduplicate-archive-mirrors

Commits

Commits on Aug 17, 2025