Robert Bradshaw wrote: > It's too late for 0.11 though. Is there a ticket up? Don't think so, but while we're at it, I'd like to have a ticket for any change going into 0.11.1. Lisandro, could you open one and post the patch there? Stefan