From 3dafad1d6588eb0b94f5c8461069b05b24b1faca Mon Sep 17 00:00:00 2001
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
Date: Thu, 25 Jun 2020 08:47:09 +0200
Subject: added item in README.dev

---
 README.dev | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.dev b/README.dev
index 48c8d42..ea6024d 100644
--- a/README.dev
+++ b/README.dev
@@ -22,6 +22,8 @@ Creating a new release
    INSTALL, src/get_version.c, src/mpc.h (remove suffix "dev" in
    MPC_VERSION_STRING) and Makefile.vc.
 2) Verify that the ABI version in src/Makefile.am is correct.
+   Check that the executables are not read-only
+   (https://lists.gforge.inria.fr/pipermail/mpc-discuss/2020-June/001539.html)
 3) Check that NEWS, BUGS and TODO are up to date, and that the minimal
    version numbers of gmp and mpfr in configure.ac, INSTALL and
    doc/mpc.texi are correct.
-- 
cgit v1.2.1