Re: [PATCH] Add poke to users.txt

[Bruno Haible]

> +2020-05-01  Jose E. Marchesi  <jema...@gnu.org>
> +
> +     Update users.txt.
> +     * users.txt: Add poke.

Applied. Thanks.

Bruno