Skip to content

Replace every use of GNU Patch by the OCaml patch library #4770

Replace every use of GNU Patch by the OCaml patch library

Replace every use of GNU Patch by the OCaml patch library #4770

diff

succeeded Mar 10, 2025 in 3s