> 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!