tags 13514 + patch close 13514 stop On 02/20/2013 10:11 PM, Stefano Lattarini wrote: > On 02/18/2013 09:53 AM, Pavel Raiskup wrote: >> Hi Stefano, thanks for refinements! I'm ok with these patches. >> > Good! I will push them tomorrow if I hear no objection by then. > Pushed now. I'm thus closing this bug report.
Thanks, Stefano
