2007/11/27 John P. Linderman <jpl@research.att.com>: > Arggh. Cut-and-paste excess. Sorry! > > --- stat.t.orig Sun Jul 29 14:15:44 2007 > +++ stat.t Tue Nov 27 13:48:32 2007 Thanks, applied as #34056.