From: Jose Kahan (jose.kahan@w3.org)
Date: Wed Jan 29 2003 - 07:21:50 CST
Hi,
This patch removed the call to the hashed msgid num. The patch
should have been applied to message_name().
If using the hashed msgid num is something you don't want, let's remove
it completely!
Otherwise, we get into a never-ending loop of changes that keep coming
back.
-jose
On Tue, Jan 28, 2003 at 09:24:13AM -0800, Peter C. McCluskey wrote:
> rl@math.technion.ac.il ("Zvi Har'El") writes:
> >I identified the culprit, in threadprint.c . The patch is:
>
> Thanks. I've committed this patch.