On Thu, Sep 6, 2012 at 4:26 PM, Roland McGrath <roland@hack.frob.com> wrote: >> You are right. Fixed it with [...] > > Thanks. But I don't see this change in the repository. > If you committed it, you didn't push it. It is there now. -- H.J.