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. - Sebastian