[tex-k] (no subject)

Tomas G. Rokicki rokicki@CS.Stanford.EDU
Fri, 24 Jan 2003 11:29:36 -0800


Wow, an embarrassing bug indeed!  Thanks for the fix; it's
checked in.  I'm still working on those encoding issues . . .

-tom