On Sun, Feb 13, 2000 at 05:14:05PM -0800, Zack Weinberg wrote: > In that case, this patch should be better (but it'll take a while to > grind through and find out if it fixes the bug). Ok. r~