On 07/07/2015 02:24 PM, Joel Brobecker wrote: > Not sure. I think Pedro would be in a better position to answer. > For now, I've put this issue as a "maybe" for 7.10; so we will not > release until this is fixed, or we explicitly decide it's OK for 7.10. > > Pedro? Let me take a look and understand this better. Thanks, Pedro Alves