Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits: f70ccf62 by Julien Puydt at 2022-02-06T21:35:10+01:00 New upstream version 8.15.0 - - - - - 13 changed files: - − .gitattributes - + .github/CODEOWNERS - + .github/ISSUE_TEMPLATE.md - + .github/PULL_REQUEST_TEMPLATE.md - + .github/SUPPORT.md - + .github/workflows/check-conflicts.yml - + .github/workflows/ci.yml - + .github/workflows/stale.yml - + .gitlab-ci.yml - − .mailmap - − .merlin - + .ocamlformat - + .ocamlinit The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819 You're receiving this email because of your account on salsa.debian.org.
