On Thu, Oct 26, 2000 at 03:45:27PM -0700, I wrote:> + buffer += sprintf("ASID: %p\n", mm);Obviously, this should be:+ buffer += sprintf("ASID:\t%p\n", mm);for consistency. J[unhandled content-type:application/pgp-signature]