NEWS.stable: log cherry-pick [4cce65c]->[b9f1203] doc: update users.txt

diff --git a/NEWS.stable b/NEWS.stable
index 2d5f8c3..6f21797 100644 (file)
--- a/NEWS.stable
+++ b/NEWS.stable
@@ -12,6 +12,7 @@ with the following additional commits:
 
     * [27147dc]->[4c5d3e6] doc: update users.txt
     * [a54ee6e]->[a1245ce] doc: update users.txt
+    * [4cce65c]->[b9f1203] doc: update users.txt
 __NEXTCOMMITMARKER__
 
 ----------------------------------------------------------------------