1 files changed, 2 insertions, 1 deletions
diff --git a/TODO b/TODO
index fdec53051..6a5428d38 100644
--- a/TODO
+++ b/TODO
@@ -627,7 +627,8 @@ Table of contents:
   constants) because we do not have the control of memory allocation for
   mpz_init.
 
-- use GCC's nonnull and returns_nonnull attributes where applicable.
+- use GCC's nonnull (available since GCC 4.0) and returns_nonnull
+  (available since GCC 4.9) attributes where applicable.
 
 
 ##############################################################################