diff options
| author | Emilio Jesus Gallego Arias | 2020-07-01 01:08:21 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-01 01:08:21 +0200 |
| commit | 119b2188a00530ba85cba37bef981a0c8549661a (patch) | |
| tree | bcf72576f32d9caad8f5f27508eaf4c1bcd46c67 /doc | |
| parent | 9c9330f2e3a5ff205973881003c5734034b7d0d5 (diff) | |
| parent | 7187b7aa4ca1918cdef8446c0efe2c821f71b498 (diff) | |
Merge PR #12596: Credit Erik Martin-Dorel for work on Docker.
Reviewed-by: ejgallego
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/changes.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 8427300dc4..e5c2056c40 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -55,6 +55,10 @@ Maxime Dénès, Emilio Jesús Gallego Arias, Gaëtan Gilbert, Michael Soegtrop and Théo Zimmermann worked on maintaining and improving the continuous integration system and package building infrastructure. +Erik Martin-Dorel has maintained the `Coq Docker images +<https://hub.docker.com/r/coqorg/coq>`_ that are used in many Coq +projects for continuous integration. + The OPAM repository for |Coq| packages has been maintained by Guillaume Claret, Karl Palmskog, Matthieu Sozeau and Enrico Tassi with contributions from many users. A list of packages is available at |