Re: Update users.txt

2017-01-18 Thread Paul Eggert
Thanks, I installed those into Gnulib.

Re: bug#25479: memory leaks in dfa

2017-01-18 Thread Paul Eggert
Thanks for the fix; I installed it into gnulib and am closing this bug report.

Re: bug#25479: memory leaks in dfa

2017-01-18 Thread Norihiro Tanaka
On Wed, 18 Jan 2017 23:11:28 +0200 Arnold Robbins wrote: > Hi Grep Guys. > > Please: > > clone gawk repo > cd gawk > ./bootstrap.sh && ./configure && make -j > make valgrind > > Look at the 'definitely lost' lines. For example: > > ==30472== 240 bytes in 2 blocks are

Update users.txt

2017-01-18 Thread Tim Rühsen
Hi, the attached (trivial) patches update the URL for wget and add a new entry for wget2 in users.txt. Regards, Tim From a63b3056485faddfb821ec4a24009855bef9541a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tim Rühsen?= Date: Wed, 18 Jan 2017 20:35:49 +0100 Subject: [PATCH 1/2] users.txt: Add wget2