On 02/06/11 08:29, Paul Eggert wrote: > On 02/06/2011 03:06 AM, Bruno Haible wrote: >> Bruce mistakenly pushed a merge which included >> the original but less thoughtful replacement code from Gary. > > Thanks. Bruce, can you please fix this soon?
I will, indeed, fix this ASAP. "AP", unfortunately, includes being away from home all day today. Tomorrow. If someone does this before me, I would be eternally grateful.
