From 6c67fa52300546bb1e87bdb72e5373ab163c23ec Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Fri, 5 Oct 2018 14:06:27 +0200
Subject: Fix review requests

---
 dev/ci/README.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'dev/ci/README.md')

diff --git a/dev/ci/README.md b/dev/ci/README.md
index 47ce0cb060..1c098e5f46 100644
--- a/dev/ci/README.md
+++ b/dev/ci/README.md
@@ -175,14 +175,14 @@ If your repository has access to runners tagged `windows`, setting the
 secret variable `WINDOWS` to `enabled` will add jobs building Windows
 versions of Coq (32bit and 64bit).
 
+If the secret variable `WINDOWS` is set to `enabled_all_addons`,
+an extended set of addons will be added to the Windows installer.
+This leads to a considerable runtime in CI so this is not enabled
+by default for pipelines for pull requests.
+
 The Windows jobs are enabled on Coq's repository, where pipelines for
 pull requests run.
 
-If the additional secret variable `WINDOWS_ALL_ADDONS` is set to `enabled`,
-an extended set of addons will be added to the Windows installer.
-This leads to a considerable runtime in CI and is disabled by default for
-pipelines for pull requests.
-
 ### GitLab and Docker
 
 System and opam packages are installed in a Docker image. The image is
-- 
cgit v1.2.3