On 04/20/2013 10:52 PM, Stefano Lattarini wrote: > Reference: > <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13832> > > Hi Joshua, sorry again for the shameful delay. > > Can you check whether the attached patch solves the failure you've been > experiencing with the test 't/ar-lib4.sh'? > Ping on this?
Regards, Stefano