Lisandro, I created a Trac user for you. An email should be on its way with your credentials. Ken On 04/23/2014 08:30 AM, Lisandro Dalcin wrote:

On 22 April 2014 20:00, Rob Latham <[email protected]> wrote:

...

On 04/22/2014 07:10 AM, Lisandro Dalcin wrote:

...

The attached patch is so trivial I'm surprised this is not already fixed. Any chance you missed this email?

I pushed this to master just now. thanks for pinging the list again.

Dear Rob, I want to follow Jeff's advice.

Could you manage to create a trac account for me? Just in case, could you check I do not already have one? If I have, I forgot my user name.