[Git][ocaml-team/coq][upstream] Imported Upstream version 8.8.2

[Benjamin Barenblat <gitlab@salsa.debian.org>]

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.