Hi,

On Tue, May 13, 2003 at 06:44:29PM -0700, Dino Tang wrote:
> I'm using the December 2002 Developer Tools set.  The last portion of 
> the log is the following:

That's fixed in CVS now. Tomorrows CVS snapshot should contain that fix.

Bye,
  Henning

Reply via email to