Johannes Zarl Mon, 15 Sep 2014 01:29:28 -0700
> Pushed your fix at: > http://git.sv.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=b8e2c7f
Thanks! Johannes