> Date: Mon, 10 Dec 2012 14:52:52 -0800
> From: Paul Eggert <egg...@cs.ucla.edu>
> CC: m...@netris.org, br...@clisp.org, bug-gnulib@gnu.org
> 
> On 12/09/12 22:31, Eli Zaretskii wrote:
> > Ping!  Could someone please commit this?  TIA.
> 
> I just now did that.  Thanks for the patch.

Thanks!

Reply via email to