subject:"\[PATCH\] Add poke to users.txt"

Re: [PATCH] Add poke to users.txt

2020-05-01 Thread Bruno Haible

> +2020-05-01 Jose E. Marchesi > + > + Update users.txt. > + * users.txt: Add poke. Applied. Thanks. Bruno

[PATCH] Add poke to users.txt

2020-05-01 Thread 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 + + Update users.txt. + * users.txt: Add poke. + 2020-04-28 Bruno Haible posix_spawn_file_actions_addfchdir tests: Enhance