> +2020-05-01 Jose E. Marchesi <[email protected]> > + > + Update users.txt. > + * users.txt: Add poke.
Applied. Thanks. Bruno
- [PATCH] Add poke to users.txt Jose E. Marchesi
- Re: [PATCH] Add poke to users.txt Bruno Haible
> +2020-05-01 Jose E. Marchesi <[email protected]> > + > + Update users.txt. > + * users.txt: Add poke.
Applied. Thanks. Bruno