On 13-Aug-2002 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. > sure.