guix-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnu: grep: Fix for gnulib library.

From: Manolis Ragkousis
Subject: Re: [PATCH] gnu: grep: Fix for gnulib library.
Date: Sat, 8 Apr 2017 19:14:29 +0300
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 
Hello Rene,

I pushed the patch to core-updates.

Thank you,
Manolis
reply via email to
[Prev in Thread] Current Thread [Next in Thread]