On 04/29/2014 11:01 AM, Alan Modra wrote: > Ping? > https://lists.gnu.org/archive/html/bug-gnulib/2013-12/msg00107.html >
I slightly prefer Ulrich's more direct approach which you linked above, so merged that. http://git.sv.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=e962c07c0 sorry for the delay, Pádraig.
