Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: 9043add6 by Benjamin Barenblat at 2018-12-29T19:31:27Z Imported Upstream version 8.8.2 - - - - - 21 changed files: - + .bintray.json - − .gitattributes - + .github/ISSUE_TEMPLATE.md - + .github/PULL_REQUEST_TEMPLATE.md - + .gitlab-ci.yml - − .mailmap - .merlin - + .travis.yml - CHANGES - − COMPATIBILITY - + CONTRIBUTING.md - − COPYRIGHT - CREDITS - INSTALL - INSTALL.doc - INSTALL.ide - META.coq - Makefile - Makefile.build - Makefile.checker - + Makefile.ci The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/9043add656177eeac1491a73d2f3ab92bec0013c -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/9043add656177eeac1491a73d2f3ab92bec0013c You're receiving this email because of your account on salsa.debian.org.