Paul Eggert wrote: > This patch looks good to me. I'll CC: this to Sergey as he's our argp > expert; if he doesn't respond in a few days, please install into gnulib.
Haven't heard from Sergey. So I pushed the two patches. Bruno -- Im memoriam Matthias Erzberger <http://en.wikipedia.org/wiki/Matthias_Erzberger>
