On 01/05/2012 02:08 PM, Stefano Lattarini wrote: > On 01/05/2012 01:47 PM, Stefano Lattarini wrote: >> [adding bug-automake in CC:] >> >> Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=104367#8> >> > And here is the definitive version of the patch that I'll push by this > evening (to master) if there is no objection. > Pushed now.
Regards, Stefano