On Wed, Sep 15, 2010 at 7:21 AM, Ulrich Drepper <drepper@gmail.com> wrote: >> Ping? > > I'm getting to it. There are just a gazillion things to do right now. Ping? Ping? (It's been 3 weeks.) Thanks, -- Paul Pluzhnikov