Hello Rene, I pushed the patch to core-updates.
Thank you, Manolis
- [PATCH] gnu: grep: Fix for gnulib library. rennes
- Re: [PATCH] gnu: grep: Fix for gnulib library. Ludovic Courtès
- Re: [PATCH] gnu: grep: Fix for gnulib library. Manolis Ragkousis
- Re: [PATCH] gnu: grep: Fix for gnulib libra... rennes
- Re: [PATCH] gnu: grep: Fix for gnulib l... Ludovic Courtès
- Re: [PATCH] gnu: grep: Fix for gnu... Manolis Ragkousis
- Re: [PATCH] gnu: grep: Fix for gnulib libra... Efraim Flashner
- Re: [PATCH] gnu: grep: Fix for gnulib l... Manolis Ragkousis
