At Thu, 24 Jun 2004 18:35:21 +0000 (UTC), "Maciej W. Rozycki" wrote: > Well, this is essentially what the patch does. Or do you mean: "drop it > and if anyone screams, consider an alternative?" I'd find it acceptable, > actually, but it's not my opinion that really matters here. (it's fine w/ me.)