On Tue, 2002-08-13 at 03:13, Sebastian Rittau wrote: > On Mon, Aug 12, 2002 at 10:43:06PM -0400, Colin Walters wrote: > > > Well, are we basically in rough consensus about this now? > > > > Here's an updated patch which just makes the priority increase 20 > > instead of 30. > > There's still one "the" too much. Oops. I forgot to fix that. Well, we'll just remember to do that before it goes in. Thanks.