1 files changed, 2 insertions, 0 deletions
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.