[PATCH] Add poke to users.txt

[Jose E. Marchesi]

diff --git a/ChangeLog b/ChangeLog
index ec8db1843..60c3e3aaf 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2020-05-01  Jose E. Marchesi  <address@hidden>
+
+       Update users.txt.
+       * users.txt: Add poke.
+
 2020-04-28  Bruno Haible  <address@hidden>
 
        posix_spawn_file_actions_addfchdir tests: Enhance test.
diff --git a/users.txt b/users.txt
index 7557f9ee9..34f211607 100644
--- a/users.txt
+++ b/users.txt
@@ -79,6 +79,7 @@ The following packages appear to be using gnulib and 
gnulib-tool:
   OPeNDAP         https://scm.opendap.org/svn/trunk/
   parted          https://git.savannah.gnu.org/gitweb/?p=parted.git;a=tree
   patch           https://git.savannah.gnu.org/gitweb/?p=patch.git;a=tree
+  poke            https://git.savannah.gnu.org/gitweb/?p=poke.git;a=tree
   prelude-lml     https://www.prelude-siem.org/projects/prelude-lml/repository
   prelude-manager 
https://www.prelude-siem.org/projects/prelude-manager/repository
   pspp            https://git.savannah.gnu.org/gitweb/?p=pspp.git;a=tree