Add 13840 to NEWS.

diff --git a/NEWS b/NEWS
index b6cd0a97cb6cd88421d2b8d98a9f359ab0efffeb..ea56e6d832e2a5d254d10ab3ba47732e59905784 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -14,7 +14,7 @@ Version 2.16
   10210, 10545, 10716, 11174, 11322, 11365, 11494, 12047, 13058, 13525,
   13526, 13527, 13528, 13529, 13530, 13531, 13532, 13533, 13547, 13551,
   13552, 13553, 13555, 13559, 13566, 13583, 13618, 13637, 13656, 13673,
-  13695, 13704, 13706, 13726, 13738, 13786, 13792, 13806
+  13695, 13704, 13706, 13726, 13738, 13786, 13792, 13806, 13840
 
 * ISO C11 support: