From a3cae583f5bd05479bc63c05e378a5befb633e52 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 7 Feb 2019 23:26:36 +0100
Subject: Add item in release-process.md to ease upcoming releases of Coq in
 Docker Hub

Related: coq/bignums#17

[ci skip]
---
 dev/doc/release-process.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index d05b6c8eef..60c0886896 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -92,7 +92,11 @@
 ### These steps are the same for all releases (beta, final, patch-level) ###
 
 - [ ] Send an e-mail on Coqdev announcing that the tag has been put so that
-  package managers can start preparing package updates.
+  package managers can start preparing package updates (including a
+  `coq-bignums` compatible version).
+- [ ] Ping **@erikmd** to update the Docker images in `coqorg/coq`
+  (requires `coq-bignums` in `extra-dev` for a beta / in `released`
+  for a final release).
 - [ ] Draft a release on GitHub.
 - [ ] Get **@maximedenes** to sign the Windows and MacOS packages and
   upload them on GitHub.
-- 
cgit v1.2.3