tags 11030 + patch close 11030 thanks On 03/18/2012 08:03 AM, Stefano Lattarini wrote: > >> On 03/16/2012 11:04 PM, Stefano Lattarini wrote: >>> >>> You have convinced me that this behaviour is more a bug than a feature. >>> >> And here is a patch (for maint) that should settle the issue. I will push by >> tomorrow if there is no objection. >> Patch pushed now. I'm thus closing this bug report.
Regards, Stefano
