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?
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?