From 8a8503064b96ea93fdaa1032dad14bf64a659fca Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 5 Jan 2022 08:41:28 -1000
Subject: [PATCH] ;doc: RELEASING

---
 RELEASING.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/RELEASING.md b/RELEASING.md
index 803689ad3..b0ff6269b 100644
--- a/RELEASING.md
+++ b/RELEASING.md
@@ -193,8 +193,8 @@ In release branch:
 - push to CI branches to test and to build release binaries
   - `git push -f origin master:ci-windows`  (or magit `P -f e origin/ci-windows`)
   - `git push -f origin master:ci-mac`
-  - `git push -f origin master:ci-linux`
-  - `git push -f origin master:ci-linux-static` (at release time only))
+  - `git push -f origin master:ci-linux-x64`
+  - `git push -f origin master:ci-linux-arm32v7` (slow, unreliable)
   - Tips:
     - build these release binaries at the very last possible moment
     - last commit should be a notable one - not docs only, not beginning with ;