Discussion:
Update users.txt
(too old to reply)
Tim Rühsen
2017-01-18 19:41:50 UTC
Permalink
Raw Message
Hi,

the attached (trivial) patches update the URL for wget and add a new entry for
wget2 in users.txt.

Regards, Tim
Paul Eggert
2017-01-19 07:44:06 UTC
Permalink
Raw Message
Thanks, I installed those into Gnulib.

Loading...